  Using the notions of open/closed subtopoi of SGA, we define a notion of
cohomology with support in a closed subscheme on the overconvergent site, and
show that this agrees with the classic notion of rigid cohomology support in a
closed subscheme.
