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