BijectedGroup
bijection
BijectedMonoid
bijection
BijectedRing
bijection
BijectedSemigroup
bijection
bijection
algebird
BijectedSemigroup