15/05/08 10:32:18.15 NOQ/zVIb.net
ヒント: 任意の順序数 x, y に対し、
x < y ⇔ x∈y ⇔ (x⊆y かつ x≠y)
後は順序数の族の上限の定義を見よ。
15/05/08 10:32:18.15 NOQ/zVIb.net
ヒント: 任意の順序数 x, y に対し、
x < y ⇔ x∈y ⇔ (x⊆y かつ x≠y)
後は順序数の族の上限の定義を見よ。
15/05/08 10:32:18.15 NOQ/zVIb.net
ヒント: 任意の順序数 x, y に対し、
x < y ⇔ x∈y ⇔ (x⊆y かつ x≠y)
後は順序数の族の上限の定義を見よ。