1: \begin{definition} The admissible $(\mathfrak{g},K)$-module $(\pi, H_K)$ attached to an admissible group representation $(\pi,H)$ by Theorem \ref{harishchandraassoc} is called the Harish-Chandra module of $(\pi,H)$. 

2: We denote the class of Harish-Chandra modules of $G$  by $\mathcal{HC}(G)$. 

3: \end{definition}

4: