ormula_121 为 formula_122 在子空间 formula_112 上的限制， formula_124 形成对 formula_110 的表示，并且从 formula_112 到 formula_111 的包含映射是一个等变映射。此外，商空间formula_128 也具有 formula_110 的表示的结构，称为商表示。如果 formula_111 只有两个子表示，即平凡子空间 formula_131 与 formula_111 本身，那么这个表示被称为不可约表示；反之，如果 for