Explanation

A monoid is a set with an associative binary operation and an identity element.

A group is a monoid where every element has an inverse.