Product operator formalism