定義
定義（ていぎ） - 本項で解説。
定義（じょうげ、じょうぎ） - 日本の宮城県仙台市青葉区大倉にある西方寺の通称。または、その周辺の門前町を含めた地区の名称。
定義（ていぎ）とは、ある言葉の正確な意味や、集団において構成員が共通認識を抱くために定める概念のことである。一般的には、世間に広く定着することにより効力を発揮することができるとされる。
法律・ルールなどにおいては、定義が定まっていないと無効となる可能性があり、定義の存在は必要条件である。
哲学用語の「定義」とは、本質を表現する命題のことである。
自然科学における定義は通常、自然言語を用いて表わされる。対して、社会科学における定義は、最近類と種差の総体という形式をとることが多い。
目次
1 定義の形式
1.1 予備知識
1.1.1 類と種
1.1.2 生物分類および学名
1.2 形式
1.2.1 最近類と種差による定義
1.2.2 種差を明示しない定義
1.2.3 類が極度に広い場合
2 定義の表現
2.1 予備知識
2.1.1 「〜は〜である」という文について
2.1.2 外延と内包
2.2 表現
2.2.1 定義の表現の多様性
2.2.2 物理量の数式による定義
2.2.3 定義風であっても定義ではない場合
2.2.4 外延による補助
3 定義の定義
3.1 定義される対象
3.1.1 具体物を定義
3.1.2 抽象概念を定義
3.2 定義の定義
3.3 名前を定義すること
4 関連項目
5 外部リンク
//
いくつかの事物を、ある視点でひとくくりにしたとき、それら事物は階層化 ( ⇒Hierarchy) されたことになる。
このとき上位の階層を類 ( ⇒Genus)、下位の階層を種 ( ⇒Species) という。類は種の集まりであり、種は類の構成要素である。
複数の類を構成要素とする上位の類を考えることもできる。このとき下位の類は、上位の類にとっての種である。
たとえばトラは、動物界・脊索動物門・哺乳綱・食肉目・ネコ科・Panthera （ヒョウ属）・tigris （トラ種）という系列の中にあり、学名を Panthera tigris という。ここでは Panthera が類（属）で、tigris が種である。
ネコ科を類と見れば、Felis （ネコ属）や Puma （ピューマ属）とともに、Panthera はその一種ということになる。
もっとも厳密な定義のためには、「対象を種として含む類」および「対象を他の種から区別する特徴」を述べればよい。 前者を最近類、後者を種差という。例）トラとは、黄色地に黒縞のある（種差）Panthera（最近類）である。
ただし生物分類学における類種関係は絶対的なものでなく、文脈によっては生物分類学とは異なる関係を前提とした定義もあり得る。 つぎの人類学や社会学に見られるような定義に対して、最近類としてホモ属を示さないのは誤りだ──という主張は見当違いである。例)人間とは、理性的な（種差）動物（最近類）である。
定義において種差が明示されない場合がある。例)人間とは、動物（最近類）の一種である。
種差を明示しないことには、それが不要である（積極的な理由）場合、および不可能である（消極的な理由）場合がある。 後者については、定義する対象の本質である場合と定義を行う者の知識・能力の問題である場合がある。
類が極度に広いと、存在・もの・何かなどの語を使わざるを得ないことになる。例) 神とは、万能な（種差）存在（類）である。
しかし最近類を探し当てることができない結果、この表現に至ることも多い。例) 椅子とは、人が座る（種差）もの（類）である（×）。人が座る（種差）家具（類）である。