Concept
Lattice (order)
Overview
partially ordered set that admits greatest lower and least upper bounds of any two elements
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Garrett Birkhoff
- If and only if
- Negation
- Mathematics
- Mathematical induction
- Real number
- Natural number
- Intersection (set theory)
- Partially ordered set
- Power set
- Subset
- Morphism
- Identity (mathematics)
- Partition of a set
- Infimum and supremum
- Bijection
- Boolean algebra (structure)
- Union (set theory)
- Axiom
- Inverse function
- Quantum logic
- Complete Heyting algebra
Place in the tradition
Part of Many-valued logic.