Hasse diagram

If a partial order can be drawn as a Hasse diagram in which no two edges cross, its covering graph is said to be upward planar. A number of results on upward planarity and on crossing-free Hasse diagram construction are known:

Expressing the example by standard UML inheritance connectors. Each set is a distinct object (standard UML boxes are rectangular).