Embeddable partial groups
This paper establishes a folklore theorem characterizing the embeddability of partial groups in groups via unique parenthesization of words, investigates examples of non-embeddable cases, and proves that a partial groupoid embeds in a groupoid if and only if its reduction embeds in a group.