Есть одна неточность в описании свойств функции. Функция убывает на каждом из промежутков, а не на их объединении. Это принципиально. Возьму из указанного Вами множества два значения аргумента, например -3 и 3. Меньшему значению аргумента должно соответствовать большее значение функции. В нашем случае аргументу -3 соответствует меньшее значение функции, равное -1. Исправьте, пожалуйста.