poset
partially ordered set