Cancellative binars (algebras with a cancellative binary operation)

Also called cancellative groupoids or quasigroups.