Una aplicación "f" de A en B, siendo A y B dos conjuntos cualesquiera, es una correspondencia entre A y B, total y unívoca.