上記の添字集合は任意の可算集合としてよい(また実は、ヒルベルト空間の項にあるように、そうして得られる空間は全て、適当な集合上で定義されたとなる)ことに注意。