半边模块包含的相对位置

设 $K_1 \subset H$ 且 $K_2 \subset H$ 为常见标准子空间 $H$ 中的半边模块包含。我们证明：若且仅若存在 $K_1 \subset K_2$ 的包含，即可得到与半边模块包含 $K_1 \subset H$ 和 $K_2 \subset H$ 相关联正一参数群生成器的谱子空间包含。据此，我们给出此情形的（算子值）对称内函数的表征。我们以一些非平凡现象的例子说明这些表征。