He estado haciendo un curso online de matemáticas discretas, y la notación $f\colon A\to B$ ha aparecido unas cuantas veces, y no se ha explicado lo que significa. He intentado buscarlo en Google, pero lamentablemente no se puede buscar con caracteres como $\to$ . Si alguien pudiera aclarar lo que significa, se lo agradecería mucho.
Edición: Hasta ahora ha habido algunas respuestas sobre el mapeo - lo siento, pero soy un completo lego en esto. ¿Hay alguien que pueda explicarlo un poco más?