O aplicaţie care asociază fiecărei perechi ordonate un unic element se numeşte lege de compoziţie pe mulţimea m. Fie m o mulţime nevidă. Lectii virtuale teorie legi de compoziţie.