所谓的偏序的哈斯图是利用偏序关系的自反性。

反对称性。

和传递性所简化的偏序关系的关系图。