<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Distributivity (order theory) - Page 2 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=distributivity_(order_theory)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=distributivity_%28order_theory%29&amp;p=3">3.Next</a>
</p>
<p>to <a href="page.php?w=semilattice">semilattice</a>s as well.</p>

<p><big>Distributive lattices</big></p>
<p>Probably the most common type of distributivity is the one defined for <a href="page.php?w=lattice_%28order%29">lattices</a>, where the formation of binary suprema and infima provide the total operations of join () and meet (). Distributivity of these two operations is then expressed by requiring that the identity</p>

<p>
: </p>

<p>hold for all elements x, y, and z. This distributivity law defines the class of <b><a href="page.php?w=distributive_lattice">distributive lattice</a>s</b>.</p><p>
<a accesskey="1" href="page.php?w=distributivity_(order_theory)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=distributivity_%28order_theory%29&amp;p=3">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
