Coordinate projection of a Euclidean body (source code)

= Coordinate projection of a Euclidean body
{title2=$S_A$}

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|$.