群胚

設S是集，稱映射f:S×S→S為S的一個代數運算。定義了一個代數運算的非空集合，通常稱為群胚。

S的運算通常稱為乘法，對任意x,y∈S,將f((x,y))記作xy；有時也將f((x,y))記作x+y,這時稱這個運算為加法。習慣上，只有當f((x,y))=f((y,x))(x,y∈S)時，才用符號x+y記f((x,y))。