Uniform tightness ($\forall \epsilon >0\exists K\text{ compact}:{\inf }_{\mu \in S}\mu (K)>1-\epsilon$)

The same compact set must work simultaneously for every measure in the family. Prokhorov's theorem relates this condition to relative compactness for the weak topology of probability measures on a Polish space.