Let $\mathbb{R}^{N \times M}$ be a D1294: Vector space of finite real matrices.

Then \begin{equation} \text{Dim}_{\mathbb{R}} \, \mathbb{R}^{N \times M} = N M \end{equation}