La restricción de una función "f": "A" → "B" a un subconjunto "C" ⊆ "A" se denota por "f"|.