Для функции квадратного арифметического корня, разумеется, никакой двузначности нет и быть не может: √4̅ = 2, причём, строго.
Двузначность появляется в случае алгебраического корня, а использующие нотацию радикала для алгебраических корней находятся в состоянии тяжкого греха и не могут получать Святого Причастия.
Иными словами, если мы имеем квадратное уравнение x² = 4 , то запись √4̅ = ±2 является неправильной. Правильной является запись x₁,₂ = ± √4̅ = ±2 .
На самом деле, существуют "многозначные функции", но это не страшно: достаточно просто явно проговорить (точнее, прописать текстом), что функция многозначна.
Функция — это некое "правило", которым устанавливается биективное, инъективное или сюръективное соответствие.