Cancellational

The property for Multiplication to have:

• $ab=0⟹a=0\vee b=0$ Or:
• $ab=ac⟹b=c$