el dominio de formula_224 queda restringido al subconjunto formula_227 de formula_228 De igual forma, dada una función formula_229, si definimos alguna formula_158, con formula_231, tal que formula_232 entonces se dice que formula_163 es una prolongación de formula_234