PartialOrdering

scala

PartiallyOrdered

scala

product

BijectedRing