ノイマンの構成法だとある順序数はそれより小さい順序数全体の集合なので∈が推移率を満たすので順序関係となる