https://www.glc.us.es/~jalonso/calculemus/23-feb-24/
(s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u)