Definition:Continuous Lattice Subframe
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
- 1980: G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove and D.S. Scott: A Compendium of Continuous Lattices
- Mizar article WAYBEL_5:mode 3