データ型
データ表現の論理積や論理和などによる空間表現。
第一級関数を持つプログラミング言語では、関数を値として扱うことができる。