Cartesian_Product_of_Subsets

import Mathlib.Data.Set.Prod

theorem Cartesian_Product_of_Subsets {α : Type _} {β : Type _} (A B : Set α) (S T : Set β) (hAB : A ⊆ B) (hST : S ⊆ T) : A ×ˢ S ⊆ B ×ˢ T := by sorry