Algebraické štruktúry

Binárna operácia ◦ na neprázdnej množine M
je zobrazenie ◦ : M ×M → M. Výsledok
priradený binárnou operáciou ◦ usporiadanej
dvojici (a, b) označujeme a ◦ b.
Príklad 2.1:
Binárne operácie na množine prirodzených čísel
N = {1, 2, 3, . . . }: a ◦ b = a + b − 1, a△b = ab.
Keď je M množina s malým počtom prvkov,
potom binárnu operáciu ◦ na nej môžeme
definovať pomocou Cayleyho tabuľky - do
zahlavia (zvysle i vodorovne) dáme prvky M a na
ich priesečníky výsledky operácie.