種
種 (カテゴリー論) - 類の下位概念。エイドス(eidos, είδος)。最低種概念を人間とした。
種 (分類学) - 生物分類上の基本単位。
形相(エイドス、είδος)の別訳語。ギリシャ哲学用語。
種 (論理学) - 変数の量化する範囲を定める機構。型理論における型に相当する。 多種論理(英語: Many-sorted logic)
種 (型理論) - 型システムにおける型の型