Una ocurrencia libre es la ocurrencia de una variable formula_89, formula_90, formula_63, formula_92, etc.