Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:definedIn |
binary operation meet
|
| gptkbp:dualStructure |
gptkb:Join-semilattice
|
| gptkbp:hasAxiom |
x ∧ (y ∧ z) = (x ∧ y) ∧ z
x ∧ x = x x ∧ y = y ∧ x |
| gptkbp:hasProperty |
associativity
commutativity idempotency |
| gptkbp:isA |
gptkb:Partially_ordered_set
Semilattice |
| gptkbp:meetIs |
greatest lower bound
|
| gptkbp:meetOf |
two elements
|
| gptkbp:operationSymbol |
∧
|
| gptkbp:operator |
meet
|
| gptkbp:usedIn |
gptkb:Order_theory
Lattice theory |
| gptkbp:bfsParent |
gptkb:Lattice_(order)
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Meet-semilattice
|