Assertion: algebra's element | /r/HasProperty | a = a
Facets:
Source sentences:
text: There is an element 1 in R such that a · 1 = a and 1 · a = a for all a in R (that is, 1 is the multiplicative identity).