Упр.1074 ГДЗ Макарычев Миндюк 9 класс (Углубленный) (Алгебра)

Ниже вариант решения задания из учебника Макарычев, Миндюк, Нешков 9 класс, Просвещение:

1074. Запишите символически определение возрастающей на множестве X функции. Запишите символически и сформулируйте отрицание этого предложения. Определение какой функции при этом дано?