Group

A group is a Monoid where every element is Invertible. Alternatively, a group is a Quasigroup where the multiplication operation is Associative. This means that "being a group" is a Property of both monoids and quasigroups.

Properties