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