Unendlich aufsteigende Folge

Sei eine (unendliche) Menge $M$ gegeben, sowie eine Ordnungsrelation $\leq$ auf $M$. Eine Folge von in $M$ ist eine unendliche Liste $m_0$, $m_1$, $m_2$,... von Elementen aus $M$. Formalisiere: Es gibt keine unendlich aufsteigende Folge in $M$..