Es sei ( M , ≤ ) {\displaystyle {}(M,\leq )} eine geordnete Menge und sei
eine monotone Folge in M {\displaystyle {}M} . Man sagt, dass diese Folge stationär ist, wenn x n + 1 = x n {\displaystyle {}x_{n+1}=x_{n}} für alle n ≥ n 0 {\displaystyle {}n\geq n_{0}} für ein n 0 {\displaystyle {}n_{0}} ist.
