存在性

一函数f若要是一明确的反函数，它必须是一双射函数，即：

（单射）陪域上的每一元素都必须只被f映射到一次：不然其反函数将必须将元素映射到超到一个的值上去。

（满射）陪域上的每一元素都必须被f映射到：不然将没有办法对某些元素定义f的反函数。

若f为一实变函数，则若f有一明确反函数，它必通过水平线测试，即一放在f图上的水平线

必对所有实数k，通过且只通过一次。

请参照百度的“双射”、“单设”、“满射”相关词条

相反，不满足条件的就没有反函数。