Definition Let be a sheaf of algebras on a topological space . A -module is a sheaf on such that 1. make a module. The restriction map satisfies