 A "presentation" should not be confused with a "representation".The relations are given as a (finite) binary relation on .To form the quotient monoid, these relations are extended to monoid congruences as follows