Loading article…
類と差異の定義は内包的定義の一種であり、2つの部分から構成される。
例えば、次の2つの定義を考えてみましょう。
これらの定義は、1つの属と2つの差異として表現できる。
定義を構築する際に属（ギリシャ語：genos）と差異（ギリシャ語：diaphora ）を用いる方法は、少なくともアリストテレス（紀元前384～322年）の時代まで遡ります。[ 1 ]さらに、属は特定の特性（下記参照）を満たし、種と呼ばれる資格を得る場合があります。種とは、ギリシャ語のeidosに由来する用語で、プラトンの対話篇では「形」を意味しますが、アリストテレスの著作集では「種」を意味するものと解釈されるべきです。
既存の定義を拡張して新しい定義を作成するプロセスは、一般に分化（または派生）と呼ばれます。その逆のプロセス、つまり既存の定義の一部だけを新しい定義として使用するプロセスは抽象化と呼ばれ、新しい定義は抽象化と呼ばれ、 既存の定義から抽象化されたと言われます。
例えば、次のことを考えてみてください。
その定義の一部を（ここでは括弧を用いて）抜き出すことができる。
そしてその部分から、抽象化が形成される可能性がある。
すると、その抽象概念をその属として、正方形の定義を再構成することができる 。
同様に、正方形 の定義を並べ替えて、別の部分を抽出することもできる。
その結果、以下の抽象化に至る。
すると、その抽象概念をその属として、正方形の定義を再構成することができる 。
実際、正方形の定義は、これら二つ の抽象概念を用いて再構成することができ、一方が種として、もう一方が差異として機能している。
したがって、抽象化とは定義を簡略化する手段である。
複数の定義が同等に有効である場合、それらの定義はすべて同時に適用されます。したがって、正方形 は長方形の種族と菱形の種族の両方に属します。このような場合、複数の種族（場合によっては差異なし）で表現される1つの定義に定義を統合することが表記上便利です。
または、全く同等に：
より一般的には、同等の定義（それぞれが固有の属で表現される）は、次のように表現される1つの定義として再構成できる。属。したがって、次のようになります。
次のように言い換えることもできます。
定義の属は、is-a関係を指定する手段を提供する。
定義の差異の属以外の部分は、has-a関係を指定する手段を提供する。
定義体系が属と差異によって構築される場合、定義は階層を形成するノード、あるいはより一般的には有向非巡回グラフとして考えることができます。先行ノードを持たないノードは最も 一般的な定義であり、有向パスに沿った各ノードは、その先行ノードのいずれよりも分化（または派生）しており、後継ノードを持たないノードは最も 分化（または最も 派生）した定義です。
定義Sが、その各後継定義の末尾である場合(つまり、Sには少なくとも 1 つの後継定義があり、Sの各直接後継定義が最も分化した定義である場合)、Sはしばしばその各後継定義の種と呼ばれ、 Sの各直接後継定義はしばしば種Sの個体(または実体)と呼ばれます。つまり、個体の属は、同義的にその個体の種と呼ばれます。さらに、個体の差異は、同義的にその個体の同一性と呼ばれます。たとえば、次の定義を考えてみましょう。
この場合：
その例のように、アイデンティティそのもの（またはその一部）が個人全体を指すために用いられることがよくあり、これは言語学では部分代名詞的換喩（pars pro toto synecdoche ）として知られています。
