順序関係

Zornの補題　極大元の存在を考えるときに用いるZornの補題。これの議論では、極大元が存在することで話が終わってしまうがより強力な情報として半順序集合のすべての元xについてx<=aとする極大元aが取れることも実が説明される。今回はこれを考えていく。