Sea formula_1 una familia de R-módulos por la izquierda, entonces definimos