Assertion: algebra's set | /r/HasProperty | an f-vector space
Facets:
value: with addition
type: OTHER
Source sentences:
text: This set is an F-vector space, with addition and scalar multiplication defined component-wise.