もっと一般に、Vが部分空間UとWの（内部）直和V=U⊕W{\displaystyleV=U\oplusW}であるならば、商空間V/UはWに自然同型である(Halmos1974,Theorem22.1)。
更一般地，如果V写成子空间U与W的一个（内部）直和：V=U⊕W{\displaystyleV=U\oplusW}则商空间V/U自然同构于W（Halmos1974，Theorem22.1）。