Statements (82)
| 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:chain gptkb:lattice gptkb:algebra gptkb:partial_order gptkb:fixed_point gptkb:order_type gptkb:Hasse_diagram gptkb:Galois_connection gptkb:ordinal_number preorder complete lattice dimension theory antichain cardinal number closure operator directed set distributive lattice interval interval order join meet modular lattice monotone function order ideal total order well-foundedness well-quasi-order poset chain-complete poset covering relation 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-complete order-convex set order-theoretic closure order-theoretic interior order-theoretic lattice principal filter principal ideal upper set |
| 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:Lattice
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Order theory
|