Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:architect
|
| gptkbp:defines |
partial order
|
| gptkbp:has |
set of natural numbers
intervals in real numbers power set of a set subsets of a given set |
| gptkbp:has_gameplay_element |
upper bound
least upper bound |
| gptkbp:has_method |
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_part_of |
Lattice theory
|
| gptkbp:is_related_to |
meet semilattice
|
| gptkbp:is_used_in |
gptkb:computer_science
gptkb:Mathematician category theory |
| gptkbp:bfsParent |
gptkb:Lattice_Group
|
| gptkbp:bfsLayer |
4
|