Bezeichnung für den folgenden Satz aus der Linearen Algebra:

Sei V ein Vektorraum über \({\mathbb{K}}\), und seien U₁und U₂Unterräume von V.

Dann sind die \({\mathbb{K}}\)-Vektorräume U₁/(U₁ ⋂ U₂) und (U₁ + U₂)/U₂isomorph:\begin{eqnarray}{U}_{1}/{U}_{1}\mathop{\cap }\limits^{}{U}_{2})\cong ({U}_{1}+{U}_{2})/{U}_{2}\end{eqnarray} (Isomorphie von Vektorräumen).