Partial semigroups