Este dual se define como el conjunto de clases de equivalencia de representaciones unitarias irreductibles del grupo.