可換モノイドは、モノイドの☓☓☓に加えて、◯◯◯の☓☓☓を付け加えて定義される代数系である。 ☓☓☓ 公理 等式 法則 条件 性質 〇〇◯ 交換法則 可換律 可換性 演算の交換可能性
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。