完备系（complete system）是具有某种完备性质的函数系。函数系为完备系的充分必要条件是：任意一个平方可积函数的傅里叶级数均值收敛于它本身。例如：定义在[-π，π]上的基本三角函数系是完备系。