Assertion: function's definition | /r/CapableOf | use algebra
Facets:
Source sentences:
text: In that case we need a definition using algebra.