 Coordinate projection of a Euclidean body

For $A\subseteq [n]$, the coordinate projection $S_A$ of $S\subseteq {\mathbb{R}}^n$ consists of the coordinate tuples $(x_i{)}_{i\in A}$ obtained from points $x\in S$. Its measure is denoted $|S_A|$.