Assertion: ring | /r/HasProperty | isomorphic
Facets:
value: to its own completion
type: PURPOSE
Source sentences:
text: Any ring that is isomorphic to its own completion, is called complete.
text: The ring Z n is isomorphic to the direct sum of the rings Z k that arise in the prime factorization of