「順序集合」の版間の差分
削除された内容 追加された内容
33行目:
全順序の事を'''線型順序'''ともいい、'''全順序集合'''のことを'''鎖'''と呼ぶこともある。また半順序集合の部分集合 {{mvar|A}} で {{mvar|A}} の任意の相異なる二元が比較不能であるものを'''{{仮リンク|反鎖|en|Anti-chain}}'''という。{{要出典|半順序集合のことを部分順序集合と呼ぶこともある|date=2016年1月}}が部分順序集合は順序集合の部分集合に自然な順序を入れたものも指す。
半順序集合の元 {{mvar|a}} が他の元 {{mvar|b}} によって{{仮リンク|被覆関係|en|Covering relation|label='''被覆される'''}} ({{math|''a'' <: ''b''}}) とは、{{mvar|a}} は {{mvar|b}} よりも'''真に小さく'''、かつそれらの間に別の元が入ることはないこと
=== 順序集合の例 ===
|