ツォルンの補題 9 ; 集合の階数 (ランク) と累積階層 (1)

今回は次回の準備として、累積階層について成り立つ事を証明します。