Definition:Closure System
Jump to navigation
Jump to search
Definition
Let $L$ be an ordered set.
Let $S$ be a system of $L$.
Then $S$ is closure if and only if $S$ inherits infima.
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 WAYBEL10:attr 1