Let $V$ be a vector space over the field $\mathbb R$ of real numbers, and denote its basis by ${v_k}{k=1}^n$. The complexification of $V$ is the vector space $V\mathbb C$ over the field $\mathbb C$ of complex numbers with basis ${v_k}_{k=1}^n$.
Wikidata ID: Q445569