Template:Monoid property

''This article defines a monoid property, viz a property that can be evaluated for any monoid. Recall that a monoid is a set with an associative binary operation, having a neutral element (viz multiplicative identity)''