Assertion: nonzero complex number | /r/HasProperty | connected
Facets:
Source sentences:
text: This gives another characterization of C as a topological field, since C can be distinguished from R because the nonzero complex numbers are connected, while the nonzero real numbers are not.