https://www.glc.us.es/~jalonso/calculemus/12-mar-24/
f⁻¹[u ∩ v] = f⁻¹[u] ∩ f⁻¹[v]