https://www.glc.us.es/~jalonso/calculemus/07-mar-24/
s ∩ (⋃ᵢ Aᵢ) = ⋃ᵢ (Aᵢ ∩ s)