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.