En ese caso si se considera el conjunto de partes formula_3 del conjunto de estados posibles, la evolución tras un tiempo "t" puede definirse como una aplicación: