12.5. Definíció

Disztributív művelet

Legyenek és egy valamilyen halmazon értelmezett kétváltozós műveletek. Amennyiben tetszőleges -beli -ra, -re és elemekre

teljesül, akkor azt mondjuk, hogy a művelet baldisztributív a műveletre nézve.

Amennyiben

teljesül, akkor azt mondjuk, hogy a művelet jobbdisztributív a műveletre nézve.

Amennyiben mindkét azonosság egyszerre teljesül, akkor egyszerűen azt mondjuk, hogy a művelet disztributív a műveletre nézve.