Cancellative commutative binars

Also known as commutative quasigroups.