Définition : Fonction racine carrée

La fonction racine carrée est la fonction $f$ définie sur l’intervalle $[0\;;\; +\infty[$ qui à tout nombre réel $x$ positif ou nul associe sa racine carrée $\sqrt{x}$