De manera más precisa, si S es un subconjunto de X, la restricción de f a S es la función f | S de S a Y tal que f | S (s) = f (s) para todo s en S.