For open sets 
and a sheaf 
, the restriction map
 |
sends a section over 
to its restriction to 
.
These maps satisfy 
equal to the identity and 
whenever 
.
For ordinary functions, restriction similarly means replacing a function 
by the function 
on a subset 
.
