предельные точки

[ShMaxG]

Просто вопрос:

Дан отрезок [0;1]. Верно ли, что для множества рациональных точек на этом отрезке любая иррациональная точка будет предельной, потому что в любой окрестности любой иррациональной точки существует бесконечно много рациональных точек, в силу чего можно построить последовательность, пределом которой является эта иррациональная точка?

[вздымщик Цыпа]

Да. И любая рациональная — тоже.

[ShMaxG]

Спасибо.

[gris]

Q всюду плотно-с в R:)