Una función "u" de extensión diferencial "F"["u"] de un campo diferencial "F" es una función elemental sobre "F" si la función "u"