ハッセ図
記号的には、ハッセ図の全ての辺は x < y という関係の (x, y) の形であり(上述したようにループを排除するため条件が厳しくなっている)、x < z < y となるような z は存在しない(推移律による辺を除外するためのもう1つの規則)。
この関係を「被覆関係」(cover relation)と呼び、ハッセ図はこの関係を使って定義されることが多い。半順序は、被覆関係の推移閉包である。
したがって S のハッセ図は、y が x を被覆するような全ての順序対 (x, y) の集合と定義することもできる。すなわち、ハッセ図は被覆関係の逆で識別することもできる。