Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice/Assertions

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:

no ideal in $L$ larger than $M$ is disjoint from $F$.

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.