„Disztributivitás” változatai közötti eltérés

Legyen <math>(A; +,\cdot )</math> tetszőleges [[matematikai struktúra|struktúra]], ahol <math>+,\cdot</math> kétváltozós [[művelet]]ek. Akkor mondjuk, hogy a <math>\cdot</math> művelet '''diszributívdisztributív''' a <math>+</math> műveletre nézve (illetve, y a <math>(A; +,\cdot )</math> struktúra ''disztributív''), ha tetszőleges <math>a, b, c \in A</math> elemekre teljesül, hogy