Если следовать определению обратной операции
Ну давайте ещё омлет пожарим, не одну же кашу расхлёбывать.
а синтаксический
Синтаксис тут вообще никаким боком.
Возведение в квадрат, конечно, не запретишь называть (унарной) операцией (обычно-то всё бинарные попадаются), но у него нет никакой «обратной операции», в смысле обратной функции нет. Точнее, есть, но только правая. А вот у сужений на
и
(и многих других, но обратные этих выделяются тем, что из непрерывных имеют самую большую область определения) обратная уже есть, и тут, действительно, выбирают одну из них из эстетики — странновато, если
обозначает всегда неотрицательное число.
А многозначные функции — это хорошо, но лучше без сильной надобности (а какая в них надобность на
?) их не касаться, разве нет?