１以上の整数、３以上４未満の実数といった、抽象的なものの集まりを表すには、
クラス(klass)という概念を使う。整数クラスや実数クラスに制約を付けたものと考えることができる。