Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
lattice |
gptkbp:definedIn |
power set
|
gptkbp:hasAtoms |
singleton sets
|
gptkbp:hasBottomElement |
empty set
|
gptkbp:hasTopElement |
universal set
|
https://www.w3.org/2000/01/rdf-schema#label |
power set lattice
|
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
|