Binær operasjon

Viss $S$ er ei mengd, er ein binær operasjon er ein funksjon $\cdot :S\times S\to 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 $ℝ$ av reelle tal og mengda $ℂ$ av komplekse tal, er ordinær addisjon $+$, subtraksjon $-$ og multiplikasjon $\cdot$ binæroperasjonar.