∀ {G : Type w} [inst : TopologicalSpace G] (μ : MeasureTheory.Content G) ⦃U V : Set G⦄ (hU : IsOpen U) (hV : IsOpen V),
  U ⊆ V → μ.innerContent { carrier := U, is_open' := hU } ≤ μ.innerContent { carrier := V, is_open' := hV }