Cancellative commutative partial semigroups (algebras with a cancellative commutative associative partial binary operation)