Let $(X,\Sigma)$ be a measurable space of arbitrary cardinality. I would like to understand under which conditions this space is isomorphic to a measurable subset of $\{0,1\}^\kappa$ for some cardinal $\kappa$. Equivalently, I would like to know when there exists a measurable injection $X\hookrightarrow\{0,1\}^\kappa$ with measurable image.

For example, such an embedding trivially exists for a standard Borel space, since $\{0,1\}^{\mathbb{N}}$ is itself a standard Borel space.

Clearly, a necessary condition is that $(X,\Sigma)$ needs to be separated in the sense that for all $x,y\in X$, there is $A\in\Sigma$ with $x\in A$ and $y\not\in A$.

> Is separatedness sufficient for $(X,\Sigma)$ to embed into some $\{0,1\}^\kappa$?

There is an obvious measurable map $X\hookrightarrow\{0,1\}^\Sigma$, but I don't see why it should have measurable image, and I suspect that in general it doesn't. Hence I am at a loss as to how to approach this question. Thanks!