■ Distributive laws:Let*and● be two binary operations on nonempty s. For va,b,c∈S, a●(b*C)=(a·b*(a·),b*c)●a=(b●a)*(c●a) Associative law commutative Identity Inverse law elements element 0 -a for a l/a for ≠=0 Distributive laws: Let  and • be two binary operations on nonempty S. For a,b,cS,  a•(bc)=(a•b)(a•c), (bc)•a=(b•a)(c•a) Associative law commutative law Identity elements Inverse element + √ √ 0 -a for a  √ √ 1 1/a for a0