Assertion: real number's property | /r/HasProperty | inherited by any subring
Facets:
Source sentences:
text: A field contains no zero divisors and this property is inherited by any subring, so the ring of integers of F is an integral domain.