We represent the bra-vector and ket-vector by symbols h| and |i, respectively, in the Liouville space and thermal-Liouville
space, and represent the unit bra-vector and unit ket-vector by h1| and |1i, respectively, in the Liouville space of the system
and reservoir. Then, for arbitrary operators A and B, we have