a(b + c) = ab + ac

(b + c)a = ba + ca

Any set of elements with an equality relation and for which two operations (such as addition and multiplication) are defined, and which obeys all the laws for addition A-1 through A-5, the laws for multiplication M-1 through M-5, and the distributive laws, constitutes a field.