streng monoton fallende Folge

Eine Folge \((a_n)_{n\in\mathbb{N}\) streng halbgeordneten vollständigen metrischen Raum heißt monoton wachsend falls gilt:

\begin{align*} a_n > a_{n+1} \quad \text{für alle }n\in\mathbb{N} \end{align*}