Grothendieck topology / site

Family of covering sieves on each object satisfying stability, local-character, base-change. Generalizes open covers; basis for sheaves.