Cancellative commutative partial binars (algebras with a cancellative commutative partial binary operation)

Also called cancellative commutative partial groupoids.