في الرياضيات، لِيفُ[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».
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.
