Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:application |
gptkb:logic
gptkb:set_theory gptkb:topology abstract algebra computer science |
| gptkbp:definedIn |
partially ordered set in which every two elements have a unique supremum and infimum
|
| gptkbp:example |
set of subsets of a set with union and intersection
divisors of a number with gcd and lcm |
| gptkbp:field |
gptkb:mathematics
gptkb:order_theory |
| gptkbp:generalizes |
gptkb:algebra
complete lattice distributive lattice modular lattice bounded lattice |
| gptkbp:has_operation |
join
meet |
| gptkbp:hasDual |
gptkb:dual_lattice
|
| gptkbp:hasProperty |
absorption law
associativity commutativity idempotency |
| gptkbp:introduced |
19th century
|
| gptkbp:seeAlso |
gptkb:lattice_(discrete_subgroup)
gptkb:Heyting_algebra gptkb:semilattice gptkb:lattice_(group_theory) poset |
| gptkbp:studiedBy |
gptkb:Garrett_Birkhoff
|
| gptkbp:bfsParent |
gptkb:Distributive_lattice
|
| gptkbp:bfsLayer |
7
|