Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Mathematical_structure
|
| gptkbp:definedIn |
Partially ordered set in which every two elements have a unique supremum and infimum
|
| gptkbp:example |
Divisors of a number, ordered by divisibility
Intervals of real numbers, ordered by inclusion Set of subsets of a set, ordered by inclusion |
| gptkbp:field |
gptkb:Order_theory
|
| gptkbp:has_operation |
gptkb:Join_(supremum,_∨)
Meet (infimum, ∧) |
| gptkbp:hasApplication |
gptkb:logic
gptkb:Topology gptkb:Abstract_algebra Computer science Formal concept analysis |
| gptkbp:hasDual |
gptkb:Dual_lattice
|
| gptkbp:hasProperty |
Every pair of elements has a greatest lower bound (meet)
Every pair of elements has a least upper bound (join) Absorption laws Associative operations Commutative operations Idempotent operations |
| gptkbp:hasSpecialCase |
gptkb:algebra
gptkb:Distributive_lattice gptkb:Modular_lattice Complete lattice |
| gptkbp:heldBy |
gptkb:algebra
gptkb:Partially_ordered_set |
| gptkbp:introduced |
gptkb:G._Birkhoff
1930s |
| gptkbp:relatedConcept |
gptkb:Chain_(order_theory)
gptkb:Fixed_point_theorem gptkb:Join-semilattice gptkb:Meet-semilattice gptkb:Hasse_diagram gptkb:Galois_connection gptkb:Distributive_lattice gptkb:Modular_lattice Boolean lattice Complete lattice Lattice automorphism Lattice congruence Lattice homomorphism Lattice isomorphism Sublattice Antichain Infimum Lower bound Order embedding Supremum Upper bound Monotone function Partial order Total order |
| gptkbp:subclassOf |
Poset
Semilattice |
| gptkbp:bfsParent |
gptkb:Bounded_lattice
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lattice (order)
|