Assertion: operation | /r/HasAspect | right identity
Facets:
value: for either set
type: TRANSITIVE-OBJECT
value: since f(a
type: TEMPORAL
Source sentences:
text: For either set, this operation has a right identity (which is 1) since f(a, 1)