Finite-dimensional_subspace

Definition

Every subspace of a finite-dimensional_vector_space is finite-dimensional.

Proof