Тебе все правильно объяснили. Функция y=√x, x>0, x∈R - это именно арифметический квадратный корень. Потому что иначе каждому значению x соотвествовало бы два значения y. А такое не возможно по определению функции одной переменной от действительного x. Если интересно, можешь загуглить как задают функцию y=√x, где x-комплексное число, но с другой стороны зачем тебе сейчас этим голову забивать?