Diagram Hassego – graf skierowany przedstawiający częściowy porządek w zbiorze, w odpowiedni sposób przedstawiony graficznie.
Niech będzie zbiorem S z częściowym porządkiem . Mówi się, że element s zbioru S nakrywa element t, jeżeli , oraz nie istnieje w S taki element u, że .
Diagram Hassego zbioru S i danego na nim porządku przedstawia graf, którego wierzchołki reprezentują elementy zbioru S, i którego dwa wierzchołki i połączone są krawędzią (biegnącą z s do t) wtedy i tylko wtedy, gdy s nakrywa t. Na diagramie nie oznacza się kierunku kawędzi grafu; zamiast tego element nakrywający jest rysowany wyżej od elementów przezeń nakrywanych, za czym wszystkie krawędzie są skierowane w dół.
edytuj Przykłady dla zbioru czteroelementowego
|