Disintegration and compact measures.

Abstract

A probability space is compact in the sense of Marczewski if and only if it admits countably additive disintegrations. It follows that the restriction of a compact measure to a sub-$\sigma$-algebra is compact.