上位概念、下位概念、同位概念および同一概念
ある概念にあたるものの集合をAとすると、ある概念の下位概念にあたるものの集合は、集合Aの真部分集合である。また、ある概念の上位概念にあたるものの集合は、集合Aを包む集合である。
ある言葉が、別の言葉を含む、より一般的、より総称的、より抽象的なものを指すときにいう。上位語(じょういご、英: Hypernym)とも呼ばれる。