上位概念、下位概念、同位概念および同一概念
ある言葉の上位概念は一つとは限らない。二つ以上あることもあるし、ないこともある。
ある言葉の下位概念は、必ずあるとは限らない。しかし、あるとするならば、二つ以上ある。もし、ある言葉の下位概念の言葉が一つしかないと思えることがあったら、その下位概念と思える言葉は、実は下位概念ではなく、同一概念の言葉である。
ある言葉の同位概念は、ある言葉の上位概念が存在するならば必ず一つ以上存在する。
ある単語が別の単語の上位概念であるとき、ある単語は別の単語の広義語、上位語である。そして、別の単語はある単語の狭義語、下位語である。
ある単語が別の単語の上位概念でも下位概念でもないとき、別の単語はある単語の上位概念でも下位概念でもない。このとき、ある単語と別の単語は互いに同義語であるか、または異義語であるか、のいずれかである。ある単語と別の単語とが互いに同位概念であるとき、ある単語と別の単語とは互いに異義語である。
オブジェクト指向プログラミングにおいて、ある概念を表すクラスの上位概念を表すクラスをそのクラスのスーパークラスという。また、下位概念を表すクラスをそのクラスのサブクラスという。