Intersection_is_Largest_Subset

import Mathlib.Data.Set.Basic

theorem Intersection_is_Largest_Subset {α : Type _} (S T₁ T₂ : Set α) : S ⊆ T₁ ∧ S ⊆ T₂ ↔ S ⊆ T₁ ∩ T₂ := by sorry