Estas funciones cumplen que: