Mesure intérieurement régulière
# Mesure intérieurement régulière

Une mesure intérieurement régulière est une mesure (positive) μ définie sur la tribu borélienne d'un espace topologique séparé X qui vérifie la propriété suivante :

$\forall \displaystyle {\ A\subset X,\ A}{\text{ borélien}},\ {\displaystyle \mu (A)=\sup\{\mu (K)|{K{\text{ compact }}}\subseteq A\}.}$

