Template:Monoid property

From Groupprops
Jump to: navigation, search

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)