Set-builder нотация для множества иррациональных чисел

[ewert]

(Оффтоп)

arseniiv в сообщении #1402227 писал(а):

Да, наверно мне стоило спросить про сечения Дедекинда.

А какая разница -- спросите. Что от этого изменится? Кому интересно, с какой стати кому-то стали любопытны те сечения? Вот ТС -- точно неинтересно; с его мотивацией, кажется, всё ясно.

[arseniiv]

ewert в сообщении #1402240 писал(а):

Что от этого изменится?

Ну, станет понятнее, что вы считаете связанным с практикой. Так в принципе практикой можно назвать что угодно, например нужды любой другой области математики или даже её в целом.