add

MinimalPartialOrderedSetProxy

addAllLargestMatchesProxy

PartiallyOrderedSetLaws

addAllListSameAsSort

PartiallyOrderedSetLaws

addAllMatchesProxy

PartiallyOrderedSetLaws

addEmptyIsSingleton

PartiallyOrderedSetLaws

addIfLargerMatchesProxy

PartiallyOrderedSetLaws

addIncreasesSize

PartiallyOrderedSetLaws

addMonoidConsistency

PartiallyOrderedSetLaws

apply

PartiallyOrderedSetTests