De ce o lege de compoziție trebuie să păstreze rezultatul în mulțime?
O operație internă pe M trebuie să asocieze fiecărei perechi din M un rezultat tot în M. Aceasta este condiția de închidere.
Exemplu explicat
Adunarea este internă pe . Scăderea nu este: nu aparține lui .
Greșeala de evitat
Nu începe verificarea celorlalte proprietăți înainte de a confirma operația internă.
