Definition:Sublattice
Jump to navigation
Jump to search
This article is complete as far as it goes, but it could do with expansion. In particular: Order-based definition - which would go on a separate page, as per always You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
This page has been identified as a candidate for refactoring of medium complexity. In particular: Extract the subsidiary definitions into their own pages. Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
Definition
Let $\struct {L, \wedge_L, \vee_L, \preceq_L}$ be a lattice.
Let $S$ be a subset of $L$.
Let $\wedge_S$ and $\vee_S$ be the restrictions to $S$ of $\wedge_L$ and $\vee_L$ respectively.
Let $\preceq_S$ be the restriction to $S$ of $\preceq_L$.
Then:
- $\struct {S, \wedge_S, \vee_S, \preceq_S}$ is a sublattice of $\struct {L, \wedge_L, \vee_L, \preceq_L}$
- $S$ is closed under $\wedge_S$ and $\vee_S$.
If in addition $L$ is a bounded lattice and its top and bottom elements are in $S$, then $S$ is called a $0, 1$-sublattice of $L$.
If in addition $L$ is a complete lattice and for each subset $T$ of $S$, $\map {\sup_L} T, \map {\inf_L} T \in S$, then $S$ is called a complete sublattice of $L$.
Also see
- Results about sublattices can be found here.