Unit_of_System_of_Sets_is_Unique

import Mathlib.Analysis.Complex.Basic

theorem Unit_of_System_of_Sets_is_Unique {α : Type _} (U₁ U₂ : Set α) (h1 : ∀ A : Set α, A ∩ U₁ = A) (h2 : ∀ A : Set α, A ∩ U₂ = A) : U₁ = U₂ := by sorry