Angeordneter Körper/Folge/Eindeutiger Limes/Fakt

Es sei ein angeordneter Körper und sei eine Folge in .

Dann besitzt maximal einen Grenzwert.