Power_Set_is_Closed_under_Union

import Mathlib.Analysis.Complex.Basic

theorem Power_Set_is_Closed_under_Union {α : Type _} (S : Set α) (A B : Set α) (hA : A ⊆ S) (hB : B ⊆ S) : A ∪ B ⊆ S := by sorry