Dirichlet density

A set $S$ of prime ideals has Dirichlet densitywhen the limit exists.

For a finite Galois extension $L/K$ and a conjugacy class $C$ in its Galois group, the unramified primes with Frobenius class $C$ have density $|C|/|\mathrm{Gal}(L/K)|$.