Designen formula_18 la historia de una cosa formula_5 en un tiempo formula_20, y formula_21 el estado de formula_5 en formula_23, tal que formula_24, que se representa con una función de estado, entonces la secuencia ordenada de los estados de una cosa en formula_20 se llama la historia de esa cosa: