_DEN_, это всюду плотность рациональных чисел, а не непрерывность. Что нужно матану в смысле непрерывности и чего нет у рациональных — написано в https://ru.wikipedia.org/wiki/Непрерывность_множества_действительных_чисел#Аксиома_непрерывности