Assertion: algebra's element | /r/HasProperty | unique
Facets:
Source sentences:
text: for all x ∈ A. Note that such an element 1 must be unique.