ベクトル空間における基底の存在性の証明にも使われる、半順序集合における上界をもつ任意の鎖には極大元が存在するとい