Every Hilbert space admits an orthonormal basis, and any two such bases for a particular space have the same cardinality.
Κάθε χώρος Χίλμπερτ δέχεται μια ορθοκανονική βάση, και κάθε δύο τέτοιες βάσεις για ένα συγκεκριμένο χώρο έχουν τoν ίδιo πληθάριθμο.