Assertion: algebra's operation | /r/HasAspect | only one identity
Facets:
Source sentences:
text: An operation \(f\) can have only one identity, because when \(x\) and \(y\) are identities they are both equal to \(f(x,y)\).