Grassmann Dimension Formula for Subspaces

For two subspaces, $\dim(U+W)=\dim U+\dim W-\dim(U\cap W)$ — an inclusion–exclusion for dimensions that pins down (or bounds) the size of an intersection.