Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:lattice
gptkb:algebra |
| gptkbp:application |
gptkb:algebra
gptkb:geometry |
| gptkbp:definedIn |
modular law
|
| gptkbp:example |
lattice of normal subgroups of a group
lattice of subspaces of a vector space |
| gptkbp:field |
gptkb:mathematics
gptkb:order_theory |
| gptkbp:introduced |
gptkb:Richard_Dedekind
|
| gptkbp:not_necessarily |
distributive
|
| gptkbp:property |
for all x, y, z: if x ≤ z, then x ∨ (y ∧ z) = (x ∨ y) ∧ z
|
| gptkbp:relatedTo |
gptkb:complemented_lattice
distributive lattice |
| gptkbp:subclassOf |
gptkb:lattice
|
| gptkbp:bfsParent |
gptkb:Lattice
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Modular lattice
|