removeDecreasesSize

PartiallyOrderedSetLaws

removeMin

MinimalPartialOrderedSetProxy

removeMinNeverDecreasesMin

PartiallyOrderedSetLaws