Category:Well Inside Relation

This category contains results about Well Inside Relation.

Let $L = \struct {S, \vee, \wedge, \preceq}$ be a distributive lattice with greatest element $\top$ and smallest element $\bot$.

Let $a, b \in S : a \preceq b$.

Then $a$ is said to be well inside $b$, denoted $a \eqslantless b$, if and only if:

$\exists c \in S : a \wedge c = \bot$ and $b \vee c = \top$