https://www.glc.us.es/~jalonso/calculemus/15-abr-24/
Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]