是（例如）群 formula_110 的表示，而 formula_111 的子空间 formula_112 在 formula_110 的作用下不变，即 formula_114 对于所有 formula_112 中的向量 formula_116 成立（塞尔称这样的 formula_112 为“在 formula_110 作用下稳定”），那么 formula_112 被称为 formula_111 的子表示：通过定义 formula_121 为 formula_122 在子空间 formula_112 上