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 “”. Un insieme dotato di una operazione binaria è detto magma. A volte è usato come sinonimo il termine legge di composizione.