Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:lattice
gptkb:algebra |
| gptkbp:definedIn |
power set
|
| gptkbp:hasAtoms |
singleton sets
|
| gptkbp:hasBottomElement |
empty set
|
| gptkbp:hasTopElement |
universal set
|
| gptkbp:isAtomicLattice |
true
|
| gptkbp:isBooleanAlgebra |
true
|
| gptkbp:isCompleteLattice |
true
|
| gptkbp:isDistributive |
true
|
| gptkbp:isModularLattice |
true
|
| gptkbp:joinOperation |
set union
|
| gptkbp:meetOperation |
set intersection
|
| gptkbp:orderRelation |
set inclusion
|
| gptkbp:usedIn |
gptkb:mathematics
gptkb:order_theory computer science |
| gptkbp:bfsParent |
gptkb:Lattices
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
power set lattice
|