Assertion: ring | /r/HasProperty | algebra
Facets:
value: over the integers
type: OTHER
Source sentences:
text: In particular, every ring is an algebra over the integers.