Para toda cosa simple formula_53 y todo espacio legal de estados formula_11, existe exactamente una relación de orden temporal formula_55, tal que para algún formula_56, formula_57 si y sólo si formula_58, donde formula_59, representa un cambio legal de formula_5.