La definición de función suprayectiva asume que esta tiene un codominio especificado previamente.