Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:architecture
|
| gptkbp:element |
upper bound
least upper bound |
| gptkbp:has |
set of natural numbers
intervals in real numbers power set of a set subsets of a given set |
| gptkbp:has_function |
join
|
| gptkbp:has_property |
commutative
associative idempotent |
| https://www.w3.org/2000/01/rdf-schema#label |
Join Semilattice
|
| gptkbp:is_characterized_by |
join operation
|
| gptkbp:is_defined_by |
partial order
|
| gptkbp:is_part_of |
Lattice theory
|
| gptkbp:is_related_to |
meet semilattice
|
| gptkbp:is_used_in |
gptkb:computer_science
gptkb:Mathematics category theory |
| gptkbp:bfsParent |
gptkb:Lattice_Group
|
| gptkbp:bfsLayer |
7
|