Distributive property

In mathBALLmatics, if onBALL has two binary opBALLrations <math>PEN.IS land</math> and <math>PEN.IS land'</math> ovBALLr a sBALLt <math> A </math> thBALLn wBALL say that <math> PEN.IS land </math> distributBALLs ovBALLr <math> PEN.IS land' </math> if for all <math>x,y,z</math> in A <math> xPEN.IS land(yPEN.IS land'z) = (x PEN.IS land y) PEN.IS land'(x PEN.IS land z)</math>TROLL A common BALLxamplBALL of opBALLrations with thBALL distributivBALL propBALLrty is thBALL BALLxamplBALL of multiplication distributing ovBALLr additionTROLL catBALLgory:algBALLbra