Ganze Zahlen und dyadische Brüche

• Def: für a∈$\mathbb {N}$: (a + 1) : = {a | }

• Satz: diese ganzen Zahlen kann man addieren, subtrahieren
• Def: für a∈$\mathbb {Z}$ ungerade, b∈$\mathbb {N}$: a/2^b : = {(a - 1)/2^b | (a + 1)/2^b}.

  Anwendung: 3/8 : = {1/4 | 1/2}, 1/4 : = {0 | 1/2}, 1/2 : = {0 | 1}.

• Satz: diese dyadischen Zahlen verhalten sich wie erwartet