V → F (f^{−1}(V))

direct image

U→lim_{V⊇f(U)} G(V)

inverse image