https://www.glc.us.es/~jalonso/calculemus/18-mar-24/
Si f es inyectiva, entonces f⁻¹[f[s]​] ⊆ s