Es decir si el sistema está en uno de los estados de un subconjunto formula_4, al evolucionar el sistema estará en uno de los estados del conjunto formula_5.