buildMatchesProxy

PartiallyOrderedSetLaws