Definition:Principal Square Root