Binær operasjon

Viss $S$ er ei mengd, er ein binær operasjon er ein funksjon $\cdot :S\times S\rightarrow S$ som tek to element frå $S$ og gjev eit anna element i $S$ som resultat.

I matematikk er ein ofte interessert i mengder med ein eller fleire binæroperasjonar som tilfredsstiller visse aksiom. Eksempel på dette er grupper, ringar, metriske rom og topologiske rom.

Eksempel

• I mengda $\mathbb {Z}$ av heiltal, mengda $\mathbb {R}$ av reelle tal og mengda $\mathbb {C}$ av komplekse tal, er ordinær addisjon $+$, subtraksjon $-$ og multiplikasjon $\cdot$ binæroperasjonar.