Differences

This shows you the differences between two versions of the page.

bounded_distributive_lattices [2010/07/29 15:27]
jipsen
bounded_distributive_lattices [2010/08/01 16:46] (current)
jipsen arrow typo
Line 4: Line 4:
====Definition==== ====Definition====
-A \emph{bounded distributive lattice} is a structure $\mathbf{L}=\left\langle L,\vee ,0,\wedge ,1\right\rangle $ such that+A \emph{bounded distributive lattice} is a structure $\mathbf{L}=\langle L,\vee ,0,\wedge ,1\rangle $ such that
-$\left\langle L,\vee ,\wedge \right\rangle $ is a +$\langle L,\vee ,\wedge \rangle $ is a
[[distributive lattice]] [[distributive lattice]]
Line 15: Line 15:
==Morphisms== ==Morphisms==
Let $\mathbf{L}$ and $\mathbf{M}$ be bounded distributive lattices. A morphism from Let $\mathbf{L}$ and $\mathbf{M}$ be bounded distributive lattices. A morphism from
-$\mathbf{L}$ to $\mathbf{M}$ is a function $h:L\rightarrow M$ that is a+$\mathbf{L}$ to $\mathbf{M}$ is a function $h:L\to M$ that is a
homomorphism: homomorphism: