Assertion: root's number | /r/CapableOf | extend real number system
Facets:
value: to the complex number system
type: OTHER
Source sentences:
text: Imaginary numbers are an important mathematical concept, which extend the real number system ℝ to the complex number system ℂ, which in turn provides at least one root for every nonconstant polynomial P(x).