\noindent \textbf{Embeddings.}
A binary embedding for a finite space $\cal X$ will be a map $\psi'_{d'}:\mathcal X \rightarrow \{-1, 1\}^{d'}$ where $d' \geq \log_2 |\mathcal X| $ or larger.