Обратная функция, по определению, — это правило, которое каждому числу y ∈ Y сопоставляет число х ∈ X, причем y = f (х).Исходную функцию и ее обратную вместе  называют взаимно обратными. 

Область  определения обратной функции есть множество Y,  область значений — множество X. 

Согласно этому правилу функция обратная к убывающей, также является убывающей.