Right-cancellative

Redirect to:

• Cancellation property