:::存在性.如果一函数"formula_1"有反函数，"formula_1"必须是一双射函数，即：不然将没有办法对某些元素定义"formula_1"的反函数。设"formula_1"为一实函数。若"formula_1"有一反函数，它必通过水平线测试，即一放在"formula_1"图上的水平线formula_39必对所有实数formula_40，至多通过一次。换言之，当"formula_40"位于"formula_1"的值域时，formula_39恰好通过"f"图一次。