Assertion: ring's subring | /r/CapableOf | need be empty
Facets:
Source sentences:
text: If one omits the requirement that rings have a unity element, then subrings need only be non-empty and otherwise conform to the ring structure, and ideals become subrings.