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