Definition:Real Square Root Function