Дано множество

. Если рассматривать А обособлено, а не как подмножество

, можно ли говорить о точной верхней грани? Порядок на множестве естественный. Единицы нет, но ее можно обозначить по аналогии с "несобственным числом"

, например, как 0.(9). Правомерно ли это?
В Зориче аккуратно

везде написано. В Фихтенгольце неаккуратно - возьмем бесконечное множество.
P.S. Прошу прощения, если этот вопрос покажется дилетантским.