クラスの相等
今、パラメータ付き論理式 によって与えられるクラス
と、同じくパラメータ付き論理式 によって与えられるクラス
があったとします。このとき
… (*)
と定義します。 を用いた簡便法で書けば
と、集合における外延公理のようにも書けますが、これはあくまで簡便法に過ぎず、正式的な定義は (*) で与えたものになります。
クラスの「集合」演算
集合のときに和集合や共通部分、差集合などを定義したように、クラスにもこれらの概念を用意しておくと便利です。
クラスの包含関係
と定義します。このとき A は B の部分クラスであると言います。容易にわかるように
です。また、包含関係の定義を良く見れば、集合の部分クラスは集合となること、固有クラスを部分クラスとして含むクラスは固有クラスとなることが分かります。それから、A が固有クラスであるとき、任意の集合 u に対して も固有クラスです。