Posets

GPTKB entity

Statements (54)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
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
https://www.w3.org/2000/01/rdf-schema#label Posets
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:Піренеї
gptkbp:bfsLayer 5