クラスの直積と関係 クラス A , B が与えられたとき を A と B の直積と言います。特に集合 u と v の直積 は集合 の部分クラスなので集合になります。3 個以上のクラスの直積は で帰納的に定義します。 の部分クラスのことを、A , B 上の関係*1と言い、また…