A site (C, J) is given such that category C has a terminal object and products.
I am looking for conditions to be fulfilled by (C, J) ensuring the existence of a cartesian closed site (E, K) such that C is a subcategory of E and the Grothendieck topology J is induced by K.