# Cancellative

## Definition

A magma $$(M,*)$$ is cancellative if and only if it's left-cancellative and right-cancellative.