 Borel probability measure

A Borel probability measure is a Borel measure with total mass one. On a compact metric space it is determined by its integrals against continuous functions. On that compact metric space, the family of Borel probability measures is compact for weak convergence of probability measures.