1: \begin{definition}
2: For an MICP representable set $S \subseteq \mathbb{R}^n$ we let its MICP-dimension be the smallest $d'\in \mathbb{N}$ such that the representation from Theorem~\ref{reptheo} holds with $\dim\bra{C}=d'$.
3: \end{definition}
4: