https://www.glc.us.es/~jalonso/calculemus/11-mar-24/
s ∪ ⋂ i, A i = ⋂ i, (A i ∪ s)