Legge di composizione interna
Dato l'insieme X,
se esiste una corrispondenza tra elementi di X
tale che ad ogni coppia ordinata di X(x,x')
corrisponda un terzo elemento ben determinato di X
essa è detta operazione interna di X
o legge di composizione interna di X
e si scrive x O x' = x'' e si legge x composto x'