– bir binarlıq algebralıq ámel anıqlanǵan bos emes kóplik. Basqasha aytqanda, eger tábiyatı erkli elementlerdiń $G\{a, b, c, \ldots\}$ kópligi berilgen bolıp hám onıń elementleriniń tártiplengen $a$, $b$ jubına usı kópliktiń bazıbir $c$ elementi bir mánisli sáykeslendirilse, onda $G\{a, b, c, \ldots\}$ kópligi gruppoid dep ataladı. $c$ elementi $a$ hám $b$ elementleriniń kóbeymesi dep ataladı hám $a \cdot b=c$ dep jazıladı.