Sea formula_1 un conjunto y formula_2 un campo escalar sobre formula_1.