Definition:Continuous Lattice Subframe

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L = \left({X, \preceq}\right)$ be an ordered set.

Let $S = \left({Y, \preceq'}\right)$ be an ordered subset of $L$.


Then $S$ is continuous lattice subframe of $L$ if and only if

$S$ inherits infima and directed suprema.


Sources