zero
IsomorphicMonoid
ProductMonoid