任意の半群 "m" に対して実行することができ、半群に対する対応する普遍性を満たす群、つまり、「"m" の準同型像を含む最も一般的で最も小さい群」、が生じる。