 Tightness of a probability measure

A probability measure is tight if compact sets carry arbitrarily nearly all its mass. Every Borel probability measure on a Polish space is tight. The stronger family condition is uniform tightness.