被覆関係
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 09:56 UTC 版)
記号的には、ハッセ図の全ての辺は x < y という関係の (x, y) の形であり（上述したようにループを排除するため条件が厳しくなっている）、x < z < y となるような z は存在しない（推移律による辺を除外するためのもう1つの規則）。 この関係を「被覆関係」(cover relation)と呼び、ハッセ図はこの関係を使って定義されることが多い。半順序は、被覆関係の推移閉包である。 したがって S のハッセ図は、y が x を被覆するような全ての順序対 (x, y) の集合と定義することもできる。すなわち、ハッセ図は被覆関係の逆で識別することもできる。
※この「被覆関係」の解説は、「ハッセ図」の解説の一部です。
「被覆関係」を含む「ハッセ図」の記事については、「ハッセ図」の概要を参照ください。
ウィキペディア小見出し辞書の「被覆関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 被覆関係のページへのリンク
