Sia un insieme numerico; un’operazione binaria interna è una funzione