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 "".