Donde se dice que f : A → B (f es una función de A en B, o f es una función que toma elementos del dominio A y los aplica sobre otro llamado codominio B)