Cohomology with closed support on the overconvergent site

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.