https://www.glc.us.es/~jalonso/calculemus/20-feb-24/
Si s ⊆ t, entonces s ∩ u ⊆ t ∩ u