In mathematics, a sheaf of O-modules or simply an O-module over a ringed space is a sheaf F such that, for any open subset U of X, F is an O-module and the restriction maps F → F are compatible with the restriction maps O → O: the restriction of fs is the restriction of f times that of s for any f in O and s in F. Wikipedia