Category:Definitions/Frames
Jump to navigation
Jump to search
This category contains definitions related to Frames.
Related results can be found in Category:Frames.
Let $\struct {L, \preceq}$ be a complete lattice.
$\struct {L, \preceq}$ is a frame if and only if $\struct {L, \preceq}$ satisfies the infinite join distributive law:
| \(\ds \forall a \in L, S \subseteq L:\) | \(\ds a \wedge \bigvee S = \bigvee \set {a \wedge s : S \in S} \) |
where $\bigvee S$ denotes the supremum $\sup S$.
Pages in category "Definitions/Frames"
The following 5 pages are in this category, out of 5 total.