Se define la "función de transición extendida" formula_3 como el conjunto más pequeño tal que: