#hasse diagram #directed graph #poset structure #order theory #relations #nodes and edges #upward relation