Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:absorptive |
True
|
| gptkbp:associative |
True
|
| gptkbp:category |
Order-theoretic structure
|
| gptkbp:commutative |
True
|
| gptkbp:definedIn |
Partially ordered set
|
| gptkbp:dualStructure |
gptkb:Meet-semilattice
|
| gptkbp:field |
gptkb:Mathematics
|
| gptkbp:hasAxiom |
x ∨ (y ∨ z) = (x ∨ y) ∨ z
x ∨ x = x x ∨ y = y ∨ x |
| gptkbp:hasSubgroup |
gptkb:Lattice
|
| https://www.w3.org/2000/01/rdf-schema#label |
Join-semilattice
|
| gptkbp:idempotent |
True
|
| gptkbp:identityElement |
Not required
|
| gptkbp:isA |
Semilattice
|
| gptkbp:joinOfElements |
Least upper bound
|
| gptkbp:operator |
Join
Binary operation |
| gptkbp:usedIn |
gptkb:Domain_theory
gptkb:Abstract_algebra gptkb:Order_theory Computer science Lattice theory |
| gptkbp:bfsParent |
gptkb:Lattice_(order)
|
| gptkbp:bfsLayer |
8
|