定義域:ZFC集合論の関数全体のクラス
終域:ZFC集合論の集合全体のクラス