数学の特に解析学における陰函数(いんかんすう、;陰伏函数)は、陰伏方程式すなわち適当な多変数函数(しばしば多変数多項式)によっての形に表される関係によって(その函数の引数のうちの一つの変数のを残りの変数に関係付けることによって)陰伏的(implicitly)に定義される函数を言う。