https://www.glc.us.es/~jalonso/calculemus/08-mar-24/
⋂ᵢ (Aᵢ ∩ Bᵢ) = (⋂ᵢ Aᵢ) ∩ (⋂ᵢ Bᵢ)