The inverse image of a subset 
of the codomain of a function 
is the subset
 |
of 
. It is also called the preimage
of 
.
For a single element 
,
the inverse image 
is the fiber of 
over 
.
For a morphism 
of schemes and a closed
subscheme 
of 
, the scheme-theoretic inverse image
is the fiber product 
.
