Cancellative commutative partial monoids

Also known as separation algebras.