Sei (M , ≤) eine Ordnung. Eine Folge φ : N → M heißt eine (abzählbar unendliche) aufsteigende Kette, wenn für alle i ∈ N gilt:
φ(i) ≤ φ(i + 1) (absteigende Kette: entsprechend).