Let be a commutative ring, be a multiplicative closed set in , and be an -module. The localization of the module by , denoted , is an -module that is constructed exactly as the localization of , except that the numerators of the fractions belong to . That is, as a set, it consists of equivalence classes, denoted of pairs , where and and two pairs and are equivalent if there is an element in such that