Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:lattice
gptkb:algebra gptkb:partially_ordered_set |
| gptkbp:atomsAre |
singleton subsets
|
| gptkbp:cardinality |
2^n (if the underlying set has n elements)
|
| gptkbp:complementOperation |
set complement
|
| gptkbp:definedIn |
power set of a set
|
| gptkbp:hasBottomElement |
empty set
|
| gptkbp:hasTopElement |
the set itself
|
| 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:logic
gptkb:set_theory gptkb:order_theory |
| gptkbp:bfsParent |
gptkb:Distributive_lattice
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Power set lattice
|