Una asignación uno a uno es una biyección. Una asignación varios a uno es una "función general" y también podría ser una "función sobreyectiva".
Hay un nombre del mismo modo técnico para una asignación de muchos a muchos, o debo simplemente escribir "muchos a muchos" cada vez que describir tal cosa. ¿Misma pregunta para un mapeo de "uno a muchos" (quizá "inversa función general")?
EDIT: para lo que quiero decir con un mapeo de "muchos a muchos":
