The Stacks project

Remark 61.5.4. Let $A$ be a ring. Let $\kappa$ be an infinite cardinal bigger or equal than the cardinality of $A$. Then the cardinality of $A_ w$ (Lemma 61.5.3) is at most $\kappa$. Namely, each $A_ E$ has cardinality at most $\kappa$ and the set of finite subsets of $A$ has cardinality at most $\kappa$ as well. Thus the result follows as $\kappa \otimes \kappa = \kappa$, see Sets, Section 3.6.