En el caso del vacío, se denota como formula_3.