En matemática, un haz "F" sobre un espacio topológico dado, "X", proporciona, para cada conjunto abierto "U" de "X", un conjunto "F"("U"), de estructura más rica.