A Euclidean body is a nonempty bounded measurable subset of 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.
New to topics? Read the docs here!