My question is the following:
Let $A$ be a set with a distinguished point $0$. Given a set $X$, let $A^{(X)}$ denote the set of maps $X \to A$ which evaluate to $0$ for all but finitely-many values $x \in X$. Assume that $A$ contains at least two points and that $X,Y$ are infinite sets such that $|X| < |Y|$. Does this imply that $A^{(X)} < A^{(Y)}$?
For context, this set-theoretic question actually comes from commutative algebra. It is known that if $A$ is a nonzero (commutative, unital) ring and $m,n$ are positive integers such that there exists a monomorphism of $A$-modules $A^m \hookrightarrow A^n$, then necessarily $m \leq n$. I was wondering if the corresponding statement is true when we replace $A^m$ and $A^n$ with free $A$-modules over arbitrary bases. Then it occurred to me that this might be true for purely set-theoretic reasons, hence my above question.
I am very unsure about whether the original question should true or not, even in simple cases. On the one hand, it seems intuitively clear that $\left\{0,1\right\}^{(\mathbb{R})}$ should be larger than $\left\{0,1\right\}^{(\mathbb{N})}$. But on the other, the statement fails when $X$ and $Y$ are finite, which raises some doubt.
Many thanks.