310 名前：大きな順序数のうちで最小のものである。S(α) を α の後続者（successor of α）と呼ぶ。 4. O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。そこで、∪ O を sup(O) とも書く。” だよ。だから、3項の「S(α) := α ∪ { α } 」つまり、ノイマン構成の後者関数を前提としての話だ （実際、英文 https://en.wikipedia.org/wiki/Ordinal_number Ordinal number 2.3 Von Neumann definition of ordinals で ”Consequently, every ordinal S is a set having as elements precisely the ordinals smaller than S. For example, every set of ordinals has a supremum, the ordinal obtained by taking the union of all the ordinals in the set. ” との記載と対応しているが、これはあくまで、”Von Neumann definition of ordinals”限定の話だよ）
