Assertion: algebra's element | /r/AtLocation | the subalgebra
Facets:
Source sentences:
text: A subset \(X\) of \(A\) is irredundant if no element of \(X\) is in the subalgebra generated by the others.