Library
▹
Essentials
▹
Sets
▹
Generalized operators
⋂
⋂
S
⋃
⋃
S
⨄
i
∈
I
≃
S
i
∏
i
∈
I
S
i