Assertion: euclidean space's dimension | /r/HasProperty | the number of vectors
Facets:
value: in any basis for the space
type: OTHER
Source sentences:
text: The dimension of a vector space is the number of vectors in any basis for the space, i.e. the number of coordinates necessary to specify any vector.