f defined le