https://www.glc.us.es/~jalonso/calculemus/01-mar-24/
(s \ t) ∪ t = s ∪ t