The class of nontrivial
distributive lattices is the class of subdirect products of two-element chains. Lattices
of width one are distributive and hence are subdirect products of two element chains.
Below it is shown that lattices of width two are subdirect products of two element
chains and nonmodular lattices of order five (N5). (width = greatest number of
pairwise incomparable elements.)