In
matematica, un
'operazione binaria interna è una
funzione che richiede due argomenti dello stesso insieme (si dice cioè che ha
arietà 2) e restituisce un elemento di . Formalmente, cioè, è una funzione
* dal
prodotto cartesiano in :
Per indicare l'
immagine di una coppia di punti si usa spesso la notazione infissa . L'operazione è quindi identificata dal simbolo "". In alcuni casi si usano altri simboli, come il
più "+" o il
per "".