<?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="Distributive lattice - Page 12 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Distributive_lattice&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Distributive_lattice&amp;p=13">3.Next</a>
</p>

<p><big> Characteristic properties </big></p>
<p>Various equivalent formulations to the above definition exist. For example, L is distributive <a href="page.php?w=if_and_only_if">if and only if</a> the following holds for all elements x, y, z in L:</p>

<p>Similarly, L is distributive if and only if</p>

<p>
:  and  always imply </p>

<p>The simplest non-distributive lattices are M<sub>3</sub>, the "diamond lattice", and N<sub>5</sub>, the "pentagon lattice". A lattice is distributive if and only if none of its sublattices is isomorphic to M<sub>3</sub> or&nbsp;N<sub>5</sub>;</p><p>
<a accesskey="1" href="page.php?w=Distributive_lattice&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Distributive_lattice&amp;p=13">3.Next</a>
</p>

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

</card>
</wml>
