ben même, ce n'est pas un problème de virgule, c'est le "et" qui ne va pas. Tu ne veux pas que par hasard on ait à la fois a < b et f(a) < f(b), tu veux que dès qu'on a le premier on ait aussi le deuxième...

tu aurais pu aussi écrire : Si pour TOUS a et b appartenant à I on a : a < b implique f(a) < f(b), alors f est dite croissante sur I
edit : triple cross :- Souane > tu oublies d'accorder quand il y a plusieurs variables, tu ne peux pas utiliser "tout" au singulier avec "a ET b", et de même pour "soit" ^^