Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Partially_ordered_set |
| gptkbp:canBe |
gptkb:algebra
gptkb:Chain gptkb:Lattice gptkb:Distributive_lattice gptkb:Modular_lattice Complete lattice Totally ordered set Antichain Directed set Well-ordered set |
| gptkbp:definedIn |
A set equipped with a partial order
|
| gptkbp:example |
Divisibility of natural numbers
Power set ordered by inclusion Set of real numbers with usual order Set of subsets of a set ordered by inclusion |
| gptkbp:field |
gptkb:Mathematics
gptkb:Order_theory |
| gptkbp:hasProperty |
Reflexivity
Antisymmetry Transitivity |
| gptkbp:mayInclude |
Greatest element
Infimum Least element Lower bound Maximal element Minimal element Supremum Upper bound |
| gptkbp:notation |
(P, ≤)
|
| gptkbp:relatedTo |
gptkb:Hasse_diagram
gptkb:Dilworth's_theorem gptkb:Zorn's_lemma Height Filter Width Interval Cover relation Dual poset Order dimension Order embedding Order ideal Order isomorphism Order-preserving map Product of posets Subposet |
| gptkbp:studiedBy |
gptkb:algebra
gptkb:Topology Computer science Combinatorics |
| gptkbp:bfsParent |
gptkb:Spanish_Pyrenees
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Posets
|