. 任意 の x0 ∈ A を 1 つ 固定 しておき ，次 の 条件 を 満 たす W ⊆ A を 考 える：
(1) W は 整列集合 である．
(2) min W = x0．
(3) x ∈ W が， W の 中 に 直前 の 要素 x∗ を 持 つならば， x = φ (x∗)．
(4) x ∈ W, (x≠ x0) が， W の 中 に 直前 の 要素 を 持 たなければ， W ⟨x⟩ の A における 上限 が x と 一致 する：

x = supA W ⟨x⟩． W = {x0} とすれば， W は 条件 (1) – (4) を 満 たす．したがって ，条件 (1) – (4) を 満 たす A のすべての 部分集合 からなる 集合系 を W とすると， W≠∅ である．

【質問】
W,W′ ∈ MがW ≃ W′ ならW = W′ と なる。を示して欲しいです。
(大学 1 年/質問者)
tcn054041.tcn-catv.ne.jp (123.200.50.41)
Mozilla/5.0 (iPhone; CPU iPhone OS 13_5_1 like Mac OS X) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.1.1 Mobile/15E148 Safari/604.1