generated at
モノイド
単系



一元体: 定式化に吸収元つきモノイドが利用される