Assertion: real number's root | /r/ObjectUse | used in hilbert spaces
Facets:
Source sentences:
text: The square root of a nonnegative number is used in the definition of Euclidean norm (and distance), as well as in generalizations such as Hilbert spaces.