工繊大の塚本です.

In article <100531173234.M0203016@cals1.kit.ac.jp>
Tsukamoto Chiaki <chiaki@kit.ac.jp> writes:
> 証明にはなっていないでしょう. S を A' × B' の形の
>  A × B の部分集合で, A' と B' との間に bijection が
> 存在するもの, の集まりとするのでは, chain に極大元が
> 存在することを示すのが難しい. ちゃんと bijection が
> 構成できますか.

失礼. 「極大元」ではなく, chain に「上界」が存在する
ことを示すのが難しい, です.
-- 
塚本千秋@数理・自然部門.基盤科学系.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp