Definition (Universal Code)

A sequence of prefix $n$-codes $\{ \mathcal{C}_{n} \}$ is universal with respect to the source class $\mathcal{P}$ if for any $p\in\mathcal{P}$ $$\lim_{ n \to \infty } R(\mathcal{C}_{n},p)=0$$