Toda vez que "U" es un subconjunto de "V", se tiene una "función de restricción" de "F"("V") a "F"("U").