Что называется квадратным корнем из неотрицательного числа

Квадратный корень из неотрицательного числа a — неотрицательное число b, такое что b^2 = a (обозначается как b = √a).