Monoid
A monoid is a Semigroup equipped with an Identity Element. This means that "being a monoid" is a Property of a semigroup, though the identity element is not automatically preserved by homomorphisms; EG, it is really Property-Like Structure.
A monoid is a Semigroup equipped with an Identity Element. This means that "being a monoid" is a Property of a semigroup, though the identity element is not automatically preserved by homomorphisms; EG, it is really Property-Like Structure.