plus

BijectedSemigroup

product

BijectedRing