Assertion: algebra's element | /r/HasProperty | left identity
Facets:
value: in \(x\
type: LOCATION
value: for all \(y\
type: OTHER
value: for \(f\
type: OTHER
Source sentences:
text: An element \(x\) of \(X\) is a left identity for \(f\) when \(f(x, y) = y\) for all \(y\) in \(X\), and a right identity when \(f(y, x) = y\) for all \(y\) in \(X\).