モノイド

抽象代数学におけるモノイド（英: monoid）とは、単位元を有する半群（単位的半群、単系）である。基本的には、群論における半群論の研究対象の範疇に属し、単位元と結合法則を有するマグマと見ることもできる。