任意の代数系についてそれがモノイドならば半群、
反対にその代数系が半群だからといってモノイドとは限らない。
包含関係だと
モノイド全体の集合⊂半群全体の集合
だが、モノイド全体の集合≠半群全体の集合。