n. 【数学】 半群《乗法が定義され, それが結合法則をみたすような集合》.