Salut !
Par définition, c'est la fonction réciproque de la restriction de la fonction carré à l'ensemble des réels positifs, c'est-à-dire que pour tout

:

.
Je m'explique : la fonction carré n'est pas ce que l'on appelle bijective : pour tout réel

, il n'existe pas toujours un seul et unique

réel tel que

. Cela n'est vrai que si

ou

. Donc on fait un choix et on choisit de ne plus considérer la fonction carré sur

mais sur

. Mais je me rends compte en écrivant ces lignes que je me suis peut-être un peu emballé, non ?