[order theory] such that one of these properties suffices to define distributivity for lattices. Typical examples of distributive lattice are totally ordered sets, Boolean algebras, and Heyting algebras. Every distributive lattice is isomorphic to a lattice of sets, ordered by inclusion (Birkhoff`s representation theorem). ==Distributivity ...
A math property which states: A*(B+C)=(A*B)+(A*C)
A math property which states: A*(B+C)=(A*B)+(A*C)