Здравствуйте, sr_dev, Вы писали:

_>Здравствуйте, nikov, Вы писали:

N>>Здравствуйте, sr_dev, Вы писали:

_>>>Что такое минимальность?

N>>Минимальность множества S означает, что оно является подмножеством каждого множества, удовлетворящего указанным условиям.
N>>Или, другими словами, является пересечением всех множеств рациональных чисел, удовлетворящих указанным условиям.

_>Я ошибся насчет того что множество по любому бесконечное.

_>Наименьшее по мощности множество S это {0, 1}
_>импликация для него выполняется, ибо |0+1| < 1 === false
_>Меньше двух элементов уже нельзя.

Неверное заключение. Пусть S это {0, 1}. Тогда 0 и 0 принадлежит S.
Тогда |0-0| == 0 < 1. Значит 1/2 принадлежит S. И так далее.