Orthogonality and [Completeness of Irreducible Characters](/theorems/2432) for Compact Lie Groups identifies how characters encode irreducible representations and conjugacy information. In concrete terms, it formalizes the statement that let be a compact Lie group, and let denote the normalized Haar probability measure on ..