"Par contre la notation f>=0 n'a rien de théoriquement fausse (on peut très bien parler de fonction positive), on peut définir de façon rigoureuse cette relation d'ordre."
Une fonction, c'est un opérateur. Établir une positivité ou une négativité sur lui est totalement absurde. Quand tu dis "une fonction est positive sur un intervalle E", tu parles évidemment du signe de l'image des éléments de E lancés comme arguments à la fonction f.
Après, établir des relations d'ordre dessus, d'accord si ça peut accélérer, mais je soutiens que dire "une fonction positive" n'a aucun sens, dans un contexte purement théorique. Cela reste un abus de langage.