「圏論/代数系/古典的代数系」の版間の差分

集合 <math>G</math> の元 <math>a,b</math> の各対に対して <math>G</math> の第三の元（これを <math>ab</math> で表す)を対応させる演算が定義され, それが