En donde la función representa la situación formula_23 resultante de realizar una acción formula_24 a partir de la situación original formula_25: