https://www.glc.us.es/~jalonso/calculemus/14-mar-24/
s ⊆ f⁻¹[f[s]​]