For a set of prime ideals, its Dirichlet density is
when this limit exists.