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