Dados los conjuntos y , definimos una relación entre y mediante:
a) ¿Es una función de en ?
b) ¿Es una función inyectiva, sobreyectiva o biyectiva?
c) La relación inversa de entre y ¿es una función? ¿es inyectiva, sobreyectiva o biyectiva?