# 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: | ||

Trace: