Article contents
On partitioning ordered sets into cofinal subsets
Published online by Cambridge University Press: 26 February 2010
Extract
Let (X, ≺) denote a non-empty (partially) ordered set, or more generally a non-empty set X with an arbitrary transitive relation ≺ on it. The relation ≺ will be fixed throughout what follows, so to simplify the notation we often write (X, ≺) as X. A successor of x ∈ X is an element y ∈ X such that x ≺ y; thus x may or may not be a successor of itself. As usual, a subset A ⊂ X is cofinal if each x ∈ X has a successor in A. A partition of X is a family of (pairwise) disjoint nonempty subsets of X whose union is X.
- Type
- Research Article
- Information
- Copyright
- Copyright © University College London 1968
References
- 7
- Cited by