Euclidean body
= Euclidean body
A Euclidean body is a nonempty bounded measurable subset of $\mathbb R^n$ of positive <Lebesgue measure>. Projection inequalities are unchanged by modifying a body on a set of measure zero; geometric equality statements commonly impose additional regularity.