El elemento a de Y no tiene origen y el elemento b tiene dos orígenes (el 1 y el 4), pero esto no afecta a la definición de aplicación como tipo de correspondencia.