https://www.glc.us.es/~jalonso/calculemus/27-feb-24/
s ∩ t = t ∩ s