∀ {α : Type u_1} {F : Type u_3} [inst : FunLike F (Set α) ENNReal] [inst_1 : MeasureTheory.OuterMeasureClass F α]
  {μ : F} {M : Type u_4} [inst_2 : Zero M] {f : α → M} {s : Set α},
  s.indicator f =ᵐ[μ] 0 ↔ μ (s ∩ Function.support f) = 0