في الرياضيات، لِيفُ[1] نقطةٍ y من الدالة f : X → Y (أو سابقُها[2]) هو صورةُ {y} العكسيةُ تحت f، والتي تحقق f − 1 ( { y } ) = { x ∈ X : f ( x ) = y } {\displaystyle f^{-1}(\{y\})=\{x\in X:f(x)=y\}}
ويقال "ليف الدالة f عند y".
