Example

Cancellation does not apply to any three elements in a monoid:

For x = 4, y = 5, and z = 3 in (Z/8Z, ·,1) we have

x · y = x · z,    but    y z.