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

Also called cancellative partial groupoids.