in der Mengenlehre ein geordnetes System \({\mathfrak{M}}\) von Mengen, das die Eigenschaft hat, daß für i< j (wobei i, j Elemente einer total geordneten Indexmenge sind) und \({M}_{i},{M}_{j}\in {\mathfrak{M}}\) gilt: M_i ⊂ M_j.

Allgemeiner: In teilweise geordneten Mengen wird jede total geordnete Teilmenge als Kette bezeichnet. Dabei heißt eine Ordnung total, wenn für je zwei Elemente a, b stets genau eine der drei Aussagen а< b, а = b, oder b< a zutrifft.

Aufsteigende und absteigende Ketten unterscheiden sich nur dadurch, daß man die Bedeutung der Symbole < und > austauscht.