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.