A partial order set with a non-unique maximal element

Printable View