Bezeichnung für den Inhalt des folgenden Satzes aus der linearen Algebra:

Sind U und W endlich-dimensionale Untervektorräume des Vektorraumes V, so gilt:

\begin{eqnarray}\text{dim}(U+W)+\text{dim}(U\cap W)=\dim U+\dim W.\end{eqnarray}