Assertion: vector space | /r/HasAspect | orthonormal basis
Facets:
Source sentences:
text: Every Euclidean vector space has an orthonormal basis (in fact, infinitely many in dimension higher than one, and two in dimension one), that is a basis ( e 1 , … , e n )