Definition. Site [84R3]

A site is a pair (C,J)(\mathcal{C}, J) consisting of a category C\mathcal{C} and a Grothendieck topology JJ on C\mathcal{C}.