title: Mesure intérieurement régulière
text: # 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\}.}$
  
  