Assertion: real number's root | /r/HasProperty | 0 itself
Facets:
Source sentences:
text: The only square root of 0 in an integral domain is 0 itself.