例えば、"b" が単位元ではない場合にも "a" • "b" ＝ "a" を満たすような二つの元 "a", "b" をとることができるモノイドというものを矛盾なく考えることができるが、このようなモノイドを群に埋め込むことはできない。