Angeordneter Körper/Folge/Definition

Folge

Es sei ${}K$ ein angeordneter Körper. Eine Folge in ${}K$ ist eine Abbildung

$\mathbb {N} \longrightarrow K,\,n\longmapsto x_{n}.$