分類学
分類学（ぶんるいがく、）とは、生物を分類することを目的とした生物学の一分野。生物を種々の特徴によって分類し、体系的にまとめ、生物多様性を理解する。
分類体系
一つの分類学スキーマは、階層構造に整理された特定の分類である。典型的に、これは汎化－特化関係、あるいは正式ではないが親子関係とも呼ばれる基本型－派生型関係によって組織化される。このような階層関係で定義される派生型は、基本型と同じ特性、振舞および制約に加え、一つ以上の固有の特性、振舞および制約を持つ。例えば自動車は乗り物の派生型であるが、全ての乗り物は自動車ではない。そこで特定のタイプは乗り物であることに加え、自動車であるためのほかの制約を必要とする。他の例では、全てのシャツは衣類の一つであるが、衣類総体の個々にはシャツではないものを含むことから、衣類の属性（パラメータ）に加え、シャツであることを示す他のパラメータを満たす特定のタイプが「シャツ」に分類される。