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