Fuente TeX:
f:A\to \{1,\ldots,n\}