This is the first part of our work on time reversal symmetry applied to non-equi-librium statistical stationary states from a unified microscopic quantum statistical point of view. In this paper, a formalism for time reversal symmetry is constructed in the framework of the Closed Time Path Green's Functions (CTPGF), which can be applied both to equilibrium and non-equilibrium stationary states. By using the generating functional technique of the CTPGF, symmetry relations for the statistical Green's functions and vertex runctions are derived for systems invariant under time reversal.