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

_>Что такое минимальность? По мощности? Множество по любому бесконечное, т.к. если p и q принадлежат S, то и p+q тоже принадлежит. Для всех p и q больше или равных 1. Так как импликация в этом случае будет выполняться, ибо |p-q| < 1 === false

Я уже выступал по этому поводу.
Раз по мощности мы имеем дело с, как минимум, счётными множествами (континуум вещественных чисел тоже подходит, но мы его, так и быть, отвергнем), — то остаётся минимум топологической сортировки для частичного порядка "является подмножеством".
И такой минимум есть, и им является множество S, порождённое из {0}.
Потому что если мы возьмём любое другое множество, включающее в себя 0 (а это — условие задачи), то оно будет обязано включить в себя все элементы S.