クラスは、特性関数が定義された集合を表す。
和集合や積集合は、新たな特性関数を定義することになる。