Source : Free On-Line Dictionary of Computing

monoid
     
        An operator * and a value x form a monoid if * is
        {associative} and x is its left and right {identity}.