Distributive property
Given two binary operations, and , acting on a set , we say that has the distributive property over (or distributes over ) if, for all we have
and .
Note that if the operation is commutative, these two conditions are the same, but if does not commute then we could have operations which left-distribute but do not right-distribute, or vice-versa.
Also note that there is no particular reason that distributivity should be one-way, as it is with conventional multiplication and addition. For example, in a distributive lattice, each of the operations meet and join distributes over the other.