Zorn集合

定義

全ての全順序部分集合が上界を持つ順序集合 $(X,\preccurlyeq )$