An operator * and a value x form a monoid if * is associative and x is its left and right identity.
Try this search on Wikipedia, OneLook, Google
