Update theorems/T000881.md

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

Author: GeoffreySangston

theorems/T000881.md

@@ -11,7 +11,7 @@ refs:
   name: Answer to "Cardinality of a vector space versus the cardinality of its basis"
 ---
 
-The vector space $V$ of finite formal linear combinations of elements from $X$ over $\mathbb{R}$ has the 
-same cardinality as $X$; see {{mathse:541116}}. Hence there exists a bijection
-$X \to V$. With the indiscrete topology $V$ is a real TVS,
-and this bijection is a homeomorphism
+Suppose $|X|=\kappa\ge\mathfrak c$.
+Let $V$ be a vector space over $\mathbb R$ of (algebraic) dimension $\kappa$.
+As shown in {{mathse:541116}}, $V$ also has cardinality $\kappa$.
+With the indiscrete topology $V$ is a real TVS and is homeomorphic to $X$ via any bijection between the two.