Binary partial groups

There are many examples of `binary' partial groups in the literature: sets equipped an identity and a partially-defined binary operation, such that each element admits an inverse.

We show that many of these may be regarded as partial groups in the sense of Chermak, and single out the largest class of such objects.