Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematical structure
|
| gptkbp:bottomElement |
0
|
| gptkbp:definedIn |
A lattice with greatest and least elements
|
| gptkbp:field |
gptkb:Order_theory
|
| gptkbp:hasBottomElement |
Yes
|
| gptkbp:hasTopElement |
Yes
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bounded lattice
|
| gptkbp:introducedIn |
20th century
|
| gptkbp:isA |
gptkb:Lattice_(order)
|
| gptkbp:notation |
(L, ∨, ∧, 0, 1)
|
| gptkbp:property |
Every Boolean algebra is a bounded lattice
Every bounded lattice is a lattice Every finite lattice is bounded Every bounded lattice has unique top and bottom elements |
| gptkbp:relatedTo |
gptkb:algebra
gptkb:Distributive_lattice Complete lattice |
| gptkbp:topElement |
1
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:logic Computer science |
| gptkbp:bfsParent |
gptkb:Lattice
|
| gptkbp:bfsLayer |
6
|