Se dice entonces que esta función tiene como dominio y codominio el conjunto formula_15.