https://www.glc.us.es/~jalonso/calculemus/02-abr-24/
Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]]