[Omin]

It's not an assumption, √x is defined to be the positive square root (the principal square root). The negative one is -√x.