Г-н вздымщик! К вам вопрос на две копейки... Wink
Известно, что запись бинарного отношения порядка иногда читают так: элемент

следует за элементом

. Скажите, пожалуйста, надо ли дополнительно указывать кто за кем следует, или по умолчанию подразумевается, что в записи

элемент

всегда является следующим за

?
Нет. Бинарное отношение порядка

читается «

меньше либо равно

» или «

больше либо равно

», а вовсе не так, как Вам «известно». Бывает, что его читают «

содержится в

» или «

является частью

» (такое прочтение возникает оттого, что отношение множеств по включению тоже является отношением порядка).
Бинарное отношение строгого порядка

звучит «

меньше

» или «

больше

».
Бинарное отношение следования

произносится «

предшествует

» или «

следует за

».
Надеюсь, что Вы не будете спрашивать, в чем разница между «читается», «звучит» и «произносится», а сразу по окончании Вашего отпуска таки укажете следующее за

вещественное число.