资料来源 : Free On-Line Dictionary of Computing

maximal free expression
     
        (MFE) A {free expression} is sub-expression of a {lambda
        abstraction} not containing the {bound variable}.  A maximal
        free expression is a free expression not contained within any
        other free expression.  See {full laziness}.