 Character constituent

An irreducible character $\phi$ is a constituent of a character $\chi$ when its multiplicity $⟨\chi ,\phi ⟩$ is positive.