la_27为于"formula_1"定义域上的恆等函数，且formula_29为"formula_1"值域上的恆等函数。（其中的""表示函数复合）
存在性.如果一函数"formula_1"有反函数，"formula_1"必须是一双射函数，即：不然将没有办法对某些元素定义"formula_1"的反函数。设"formula_1"为一实函数。若"formula_1"有一反函数，它必通过水平线测试，即一放在"formula_1"图上的水平线formula_39必对所有实数formu