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