Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:definedIn |
set with associative, commutative, idempotent binary operation
|
| gptkbp:dualStructure |
join-semilattice
|
| gptkbp:everyPairHasGreatestLowerBound |
true
|
| gptkbp:hasPartialOrder |
true
|
| gptkbp:hasSubgroup |
gptkb:lattice
|
| gptkbp:isA |
gptkb:semilattice
|
| gptkbp:operationIsAssociative |
true
|
| gptkbp:operationIsBinary |
true
|
| gptkbp:operationIsCommutative |
true
|
| gptkbp:operationIsIdempotent |
true
|
| gptkbp:operationSymbol |
∧
|
| gptkbp:operator |
meet
|
| gptkbp:usedIn |
gptkb:order_theory
lattice theory |
| gptkbp:bfsParent |
gptkb:semilattice
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
meet-semilattice
|