Assertion: ring's subring | /r/HasProperty | integral domain
Facets:
Source sentences:
text: Any subring of F that contains 1 is an integral domain.