*Definition [#k6de563e]
-Let (X,S,m) be a measure space. Then m is said to be countably compact, if there exist a countably compact subfamily of S with respect to which m is inner regular. A family of sets K is said to be countably compact, if every sequence in K with the finite intersection property has nonempty intersection.

*Remark [#pe30d0bc]
-Every countably compact measure is perfect.

*Reference [#w1521f62]
-Piotr Borodulin-Nadzieja and Grzegorz Plebanek, ''On compactness of mesures on Polish spaces'', Illinois J. Math. Volume 49, Number 2 (2005), 531-545. http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1258138033