1: \begin{abstract}
2: We prove that groups definable in o-minimal structures have Cartan subgroups, and only
3: finitely many conjugacy classes
4: of such subgroups. We also delineate with precision how these subgroups cover the ambient group.
5: \end{abstract}
6: