Partial Order and Hasse Diagrams