Assertion: algebra's element | /r/HasProperty | a of the ring
Facets:
Source sentences:
text: for every element a of the ring (again, if n exists; otherwise zero).