*Definition [#h6788aef]
-A space X is strongly measure-compact if for every nonzero σ-additive Baire measure, μ, on X there is a compact set &ref(http://www.eaflux.com/imgtex/imgtex.fcgi?%5bres=100%5d%7b%5c%5b%20K%5csubset%20X%20%5c%5d%7d%25.png); such that μ*(K) > 0.

*Reference [#y08202cc]
-Gale, Sherry L. , ''Measure-compact spaces.'' ,[J] Topology Appl. 45, No.2, 103-118 (1992).