NBGでVは
クラスとその補クラスの合併
すなわち
補クラスとクラスの連言クラスの補クラスとして定義するらしいが
これが
φ(x)≡x=x
の定義するクラスと一致するのは
クラス外延性からだな