Binær operasjon

Viss ${\displaystyle S}$ er ei mengd, er ein binær operasjon er ein funksjon ${\displaystyle \cdot :S\times S\rightarrow S}$ som tek to element frå ${\displaystyle S}$ og gjev eit anna element i ${\displaystyle 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 ${\displaystyle \mathbb {Z} }$ av heiltal, mengda ${\displaystyle \mathbb {R} }$ av reelle tal og mengda ${\displaystyle \mathbb {C} }$ av komplekse tal, er ordinær addisjon ${\displaystyle +}$, subtraksjon ${\displaystyle -}$ og multiplikasjon ${\displaystyle \cdot }$ binæroperasjonar.