#hasse diagram #poset structure #order theory #discrete math #ordered set