Suppose there are two binary operations 
and 
defined on a
set A. We say that distributes over if for all
a, b and c in A, 
and
. If we drop the circles
around the plus and dot we get the familiar ditributive law in the reals.
Other examples of distributive operations are set union and intersection
or conjunction and disjunction in logic. See the section on Boolean algebras.