Изменения
→Свойства
{{Лемма
|id=
lemma1
|statement=
Пусть <tex>a \oplus b = a + b + err(a \oplus b) </tex>.
Как следствие, верна следующая лемма:
{{Лемма
|id=
lemma2
|statement=
Ошибка округления <tex>err(a \oplus b)</tex> может быть представлена в <tex>p</tex> битах.
{{Лемма
|id=
lemma3
|statement=
Пусть <tex>|a + b| \leqslant |b|</tex> и <tex>|a + b| \leqslant |a|</tex>. Тогда <tex>a \oplus b = a + b</tex>. (Аналогично для вычитания).
{{Лемма
|id=
lemma4
|statement=
Пусть <tex>b \in \left [ \frac{a}{2}, 2a \right ]</tex>. Тогда <tex>a \ominus b = a - b</tex>.
