Sea f : A → B una función, X un subconjunto de A y Y un subconjunto de B.