Пустые функции нигде не применяются и никому не интересны, поэтому нет смысла марать ими уже третью стр. форума.
Тема первоначально не про пустые функции. Если Вы так радеете за информативность сообщений в этой теме, то дайте конкретные ответы хотя бы на эти 3 вопроса.
1. Стоит ли ввести ограничение

на подмножества

при определении их верхних и нижних границ и почему?
2. Стоит ли ввести ограничение "быть непустым и ограниченным" при определении точных граней подмножеств вещественных чисел? Если такое ограничение не вводить, то среди элементов какого частично упорядоченного множества по Вашему мнению должны выбираться точные грани для пустого и неограниченных подмножеств вещественных чисел:

или

?
3. Стоит ли ввести ограничение

на подмножества области определения функции при рассмотрении ее колебаний на соответствующих подмножествах?
Буду рад, если другие участники форума поделятся своими точками зрения на эти 3 вопроса.