descargas torrent funcion sobreyectiva definicion