Assertion: abelian group's basis | /r/AtLocation | strictly orthonormal set
Facets:
value: strictly
type: DEGREE
Source sentences:
text: But then we have an impossible situation: an orthonormal basis (the set of characters of the irreducible representations) would be contained in a strictly larger orthonormal set (the set of Φ λ {