设有N个线性独立且正交正规(orthonormal)的包量张开成一N维的包量空间(bra space)。若在此空间中之任一句量可展开为此N个包量之线性组合时，此N个包量即构成一句量全集。易言之，此空间可完全由此N个包量所张开。