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