partial_order (703B)
1 # Partial order 2 3 Variants: 4 - [strict]: [irreflexive], [asymmetric], [relation_transitive] 5 - non-strict: [reflexive], [relation_transitive], [antisymmetric] 6 7 - [poset_rank] 8 - [partial_order_dimension] 9 - connections to [treewidth] 10 - [crown] and link with [partial_order_dimension] 11 - [trotter1973dimension] 12 - [order_type] 13 14 - [omega_complete] 15 - [ascending_chain_condition] 16 - generalization [poset_rank]: largest rank of a stricly increasing [chain] 17 - (minus one: x0 < ... < xr has rank r) 18 19 - [least_upper_bound] 20 - [greatest_lower_bound] 21 22 - [dilworths_theorem] for [chain_partitioning] 23 - [poset_width]: largest [antichain] cardinality 24 25 Up: [mathematics], [order] 26 27 See also: [preorder], [monotone]