---
tag: 0E10E0NW9V
kind: concept
name: Square root function
msc: [26A09]
sources:
  - url: https://en.wikipedia.org/wiki/Square_root
    locator: lead section
---

## Summary

The square root function sends a nonnegative real number to the unique nonnegative number whose square it is. It is the inverse of $t \mapsto t^2$ on $[0, \infty)$. The node [[square root function|0V7E9KP6Q2]] gives the precise definition.