设M是内积空间X的一个不含零子集，若M中向量两两正交，则称M为X中的正交系，又若M中向量的范数都为1，则称M为X中的规范正交系。