Функция y = f(x) называется убывающей на некотором промежутке X, если для любых x1 и x2 из множества X выполняется условие
(полное условие - в демо-файлах)
x1 < x2 => f (x1) > f (x2)
x1 < x2 => f (x1) < f (x2)
x1 ≠ x2 => f (x1) < f (x2)
x1 ≠ x2 => f (x1) > f (x2)