は任意の内積空間として、ベクトルの系がの(位相的)基底であるとは、の元からなる有限線型結合全体の成すの部分集合がにおいて(内積の導くノルムに関して)稠密となるときに言う。