Definizione

Un'operazione binaria, detta anche operazione binaria interna, legge di composizione o corrispondenza binaria, è una regola che associa a ogni coppia di elementi di un insieme (prodotto cartesiano) un altro elemento dello stesso insieme.

$$ \circ :A \times A \rightarrow A $$

• Serve sempre una coppia (due elementi)
• Devono appartenere allo stesso insieme $A$
• Il risultato deve appartenere allo stesso insieme $A$

Notazioni

$$ \circ :A \times A \rightarrow A $$