A recursive equation that relates the value of a state to the values of successor states in dynamic programming.