partial_order (740B)
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 - [componentwise_order], cf [Pareto] 14 15 - [omega_complete] 16 - [ascending_chain_condition] 17 - generalization [poset_rank]: largest rank of a stricly increasing [chain] 18 - (minus one: x0 < ... < xr has rank r) 19 20 - [least_upper_bound] 21 - [greatest_lower_bound] 22 23 - [dilworths_theorem] for [chain_partitioning] 24 - [poset_width]: largest [antichain] cardinality 25 26 Up: [mathematics], [order] 27 28 See also: [preorder], [monotone]