Let be a topological space, the Borel -field generated by the open sets and the paving (i.e. family of subsets) of all compact sets. A measure on is tight if
More generally, let be two pavings on a set , and a set function defined on . Then is tight with respect to if
This text originally appeared in Encyclopaedia of Mathematics - ISBN 1402006098