12.2.67 Теория чисел

условие: Верно ли, что каждое действительное число \( b>0 \) есть точная верхняя грань множества всех конечных десятичных дробей, являющихся начальными кусками \( b \) ? Что изменится, если убрать требование положительности числа \( b \) ?