Statements (84)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:mathematics gptkb:topology computer science |
| gptkbp:hasConcept |
gptkb:order_topology
gptkb:algebra gptkb:Hasse_diagram gptkb:Galois_connection preorder complete lattice dimension theory lattice partial order antichain cardinal number chain closure operator directed set distributive lattice interval interval order join meet modular lattice monotone function order ideal ordinal number total order well-foundedness well-quasi-order poset chain-complete poset covering relation fixed point greatest lower bound least upper bound linear extension lower set maximal element minimal element order automorphism order dimension order duality order extension order filter order interval order type order-complete order-convex set order-theoretic closure order-theoretic interior order-theoretic lattice principal filter principal ideal upper set |
| https://www.w3.org/2000/01/rdf-schema#label |
Order theory
|
| gptkbp:relatedTo |
gptkb:set_theory
gptkb:category_theory graph theory |
| gptkbp:studies |
gptkb:Dilworth's_theorem
gptkb:Zorn's_lemma filters antichains chains lattices partially ordered sets well-orders lower bounds upper bounds greatest elements infima least elements order embeddings order ideals order isomorphisms order-preserving maps suprema totally ordered sets |
| gptkbp:bfsParent |
gptkb:Posets
gptkb:Lattice gptkb:Cut_(mathematics) |
| gptkbp:bfsLayer |
6
|