Свойство не быть пустым (то есть иметь по меньшей мере одно ребро) монотонно, поскольку добавление другого ребра к непустому графу даёт непустой граф. Источник: Интернет
Поскольку эти наборы значительно меньше, чем наборы, рассмотренные ранее, шансы на то, что s вернет непустой результат, увеличиваются. Источник: Интернет
Наконец, пятая строка описывает части списка, которые, как уже сказано, представляют собой пустой и непустой списки. Источник: Интернет
non-empty