Más formalmente, si se tiene un conjunto abierto formula_1 y una colección de funciones formula_2, con formula_3, se dice que dicho conjunto es funcionalmente dependiente si existe una función formula_4 tal que: