Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice/Assertions
Jump to navigation
Jump to search
Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice Assertions
Let $\struct {S, \vee, \wedge, \preceq}$ be a distributive lattice.
Let $F$ be a filter in $L$.
Let $M$ be an ideal in $L$ which is disjoint from $F$ such that:
This article, or a section of it, needs explaining. In particular: what "larger" means in this context. Presumably it means $L$ is a superset of $M$, but this needs to be made clear. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. 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 {{Explain}} from the code. |