n (mathematics) An abstract construct in
topology that associates data to the open sets of a topological space, together with well-defined restrictions from larger to smaller open sets, subject to the condition that compatible data on overlapping open sets corresponds, via the restrictions, to a unique datum on the union of the open sets.