関数 とする．このとき (1) 添数付けられた集合族の直積 (2) 添数付けられた集合族の直和 但し

とする．このときの直積とは である． 補足 等号関係と同値関係について，等号よりも同値の方が弱い．というのも，等号で成り立つことは同値でも成り立つが，同値で成り立つことは等号関係とは限らない，からである．

とする． ① 合併 より を定める． ② 共通部分 より とする． ☆問題 の内包 とは何か？ たとえば を考える．いま，任意のに対して であるから，共通部分の場合には あるいはの何れか一方がわかればが決まる．それに対して，合併はたとえがわかっていても，が…