Ésta es la propiedad definitoria de un haz, y una topología de Grothendieck en "C" es una tentativa de capturar la esencia de qué es necesario para definir haces en "C".