[Править] Свойства

• Областью определения F ^{− 1} является множество Y, а областью значений множество X.

• По построению имеем:

или

,

,

или короче

,

,

где означает композицию функций, а id_X,id_Y — тождественные отображения на X и Y соответственно.

• Функция F является обратной к F ^{− 1}:

.

• Пусть  — биекция. Пусть её обратная функция. Тогда графики функций y = F(x) и y = F ^{− 1}(x) симметричны относительно прямой y = x.