Searching for links to PartiallyOrderedSet:
ZornsLemma