This is a technical paper providing the proofs of three useful theorems playing a central role in two kinds of physical applications: an explicit logical and mathematical formulation of the interpretation of quantum mechanics and the corresponding description of irreversibility. The Appendix contains a brief mathematical introduction to microlocal analysis. Three theorems are derived in the text: (A) Associating a projector in Hilbert space with a macroscopic regular cell in classical phase space. (B) Specifying the algebra of the projectors associated with different cells. (C) Showing the connection between the classical motion of cells and the Schr6dinger evolution of projectors for a class of regular Hamiltonians corresponding approximately to deterministic systems as described within the framework of quantum mechanics. Applications to the interpretation of quantum mechanics are given and the consequences for irreversibility will be given later.