Original sentence: If for any a ≤ b there exists a unique smallest element c such that a + b =c, then M is called a commutative monoid with monus.The monus a − b of two elements a and b (also written with a dot above the minus sign) is defined in certain commutative monoids M such that the relation defined by a ≤ b if and only if there is another element c such that a + b =c is a partial order.a − b = the smallest c such that a + b =c if a ≤ b, or
Edited sentence: If for any a ≤ b there exists a unique smallest element c such that a + b = c, then M is called a commutative monoid with monus.The monus a − b of two elements a and b (also written with a dot above the minus sign) is defined in certain commutative monoids M such that the relation defined by a ≤ b if and only if there is another element c such that a + b = c is a partial order.a − b = the smallest c such that a + b = c if a ≤ b, or