∀ {α : Type u_1} [inst : TopologicalSpace α] (s t : Set (StoneCech α)),
  instTopologicalSpaceStoneCech._aux_1 s →
    instTopologicalSpaceStoneCech._aux_1 t → instTopologicalSpaceStoneCech._aux_1 (s ∩ t)