Partial monoids (partial semigroups with a unit)