maximal free expression MFE (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}.