Al conjunto M se le llama imagen de la función "hash".