subsets

Stream: maths

[Christopher Hoskin]

Given:

variable (S T : Set α)

Is there a way to make S ∩ T of type Set T?

Thanks.

Christopher

[Ruben Van de Velde]

import Mathlib

open Set.Notation

variable {α : Type*} {S T : Set α}
#check T ↓∩ S

[Christopher Hoskin]

Thanks! (I also needed to import Mathlib.Data.Set.Subset.)