In this paper we have described the retrodictive quantum formalism. We have defined the operator which describes preparation devices, and the retrodictive state, which is simply the normalised measurement POM element. These enable simple evaluation of preparation probabilities given the results of some later measurement event. We have shown how to apply the formalism to both closed and open quantum systems.