Si "C" se equipa de una topología de Grothendieck, entonces un prehaz se llama un haz en "C" si, para cada familia cubridora {φ: "V" formula_1 "U"}, la función inducida "F"("U") formula_1Π"F"("V") es el ecualizador natural de dos funciones Π"F"("V")formula_1 Π "F" ("V" "×" "V").