定義
いくつかの事物を、ある視点で一括りにしたとき、それら事物は階層化 (Hierarchy) されたことになる。このとき上位の階層を類 (Genus)、下位の階層を種 (Species) という。類は種の集まりであり、種は類の構成要素である。複数の類を構成要素とする上位の類を考えることもできる。このとき下位の類は、上位の類にとっての種である。
定義において種差が明示されない場合がある。
例) 人間とは、動物(最近類)の一種である。
種差を明示しないことには、それが不要である(積極的な理由)場合、および、不可能である(消極的な理由)場合がある。後者については、定義する対象の本質である場合と定義を行う者の知識・能力の問題である場合がある。
ある概念等について、「それに含まれる全て」を列挙したようなものを「外延」、「それら全てが共通して持ち、それに含まれないものは持たないような属性」を示したようなものを「内包」という。
ここでは集合の例で説明する(詳細は集合#記法)。なお、集合の場合は外延性の公理により両者は同じものとするが、哲学では外延と内包がどういったものであるかについては議論がある(詳細は内包と外延#哲学)。
例) 集合 A は {1, 3, 5, 7, 9} 、という集合である。(外延)
例) 集合 A は 10 以下の奇数である自然数の集合、という集合である。(内包)