Statements (71)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:mathematics gptkb:topology computer science |
| gptkbp:hasApplication |
gptkb:formal_concept_analysis
gptkb:semantics_of_programming_languages optimization domain theory logic programming data structures database theory |
| gptkbp:hasConcept |
gptkb:chain
gptkb:lattice gptkb:Tarski's_fixed_point_theorem gptkb:algebra gptkb:partial_order gptkb:Hasse_diagram gptkb:Dilworth's_theorem gptkb:Galois_connection gptkb:Zorn's_lemma gptkb:filter gptkb:ordinal_number preorder complete lattice antichain ascending chain condition cardinal number closure operator descending chain condition dimension of a poset directed set distributive lattice fixed point theorem greatest element infimum interval interval order join least element lower bound meet modular lattice monotone function order embedding order ideal order isomorphism order-preserving map strict order supremum total order upper bound well-foundedness well-quasi-order |
| gptkbp:relatedTo |
gptkb:combinatorics
gptkb:set_theory gptkb:category_theory graph theory |
| gptkbp:studies |
antichains
chains lattices ordered sets partially ordered sets posets total orders well-orders |
| gptkbp:bfsParent |
gptkb:Dedekind's_theorem
gptkb:Tarski's_fixed_point_theorem |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
order theory
|