函数存在反函数的条件是它必须是一双射函数。函数的定义通常分为传统定义和近代定义，函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。函数，最早由中国清朝数学家李善兰翻译，出于其著作《代数学》。