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