反射律、反対称律、推移律を満たす二項関係を半順序と呼びます。
反射律、反対称律、推移律、完備律を満たす二項関係を半順序と呼びます。
順序集合の部分集合を順序部分集合と呼びます。
全順序集合のすべての非空な部分集合が最小元を持つ場合、そのような全順序集合を整列集合と呼びます。
ツォルンの補題について解説します。
順序集合に関する確認テストです。