Archimedisch angeordneter Körper/Element/Dezimalbruchfolge/Verfahren

Es sei  $x\in K$  ein Element in einem archimedisch angeordneten Körper $K$. Dann nennt man die über  $n\in \mathbb{N}$  durch

$x=u_n\cdot 10^{-n}+v_n$

mit  $u_n\in \mathbb{Z}$  und  $0\le v_n<10^{-n}$  gegebene Folge

$x_n=u_n\cdot 10^{-n}$

die (kanonische) Dezimalbruchfolge zu $x$.