Realmente, los "F"("U") son anillos conmutativos y las aplicaciones de restricción son homomorfismos de anillos, y