partial_order (823B)
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 - [boolean_dimension] 11 - [crown] and link with [partial_order_dimension] 12 - [trotter1973dimension] 13 - [order_type] 14 - [componentwise_order], cf [Pareto] 15 16 - [omega_complete] 17 - [ascending_chain_condition] 18 - generalization [poset_rank]: largest rank of a stricly increasing [chain] 19 - (minus one: x0 < ... < xr has rank r) 20 21 - [least_upper_bound] 22 - [greatest_lower_bound] 23 24 - [dilworths_theorem] for [chain_partitioning] 25 - [linear_extension] 26 - [poset_width]: largest [antichain] cardinality 27 28 Up: [mathematics], [order] 29 30 See also: [preorder], [monotone] 31 32 Aliases: poset, posets, partial orders