The product operator formalism is a quantum mechanical method used to describe the outcome of NMR pulse sequences. It allows the prediction of the behaviour of the bulk magnetisation as it evolves under the action of pulses and delays. It is a simplification of the density matrix formalism but allows prediction of results that are not possible using the simple vector model. The product operator is described by James Keeler here and in video format here.