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

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

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

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

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

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

Может задачу более приближенно к практике как то сформулировать?