Convex body

A convex body in ${\mathbb{R}}^n$ is a compact convex set with nonempty interior in the ambient Euclidean space. It consequently has positive finite Lebesgue measure. A filled rectangle with positive side lengths and a closed positive-radius Euclidean disk are planar convex bodies. A line segment in ${\mathbb{R}}^2$ has empty ambient interior and is not a convex body under this convention. This is the convention used in the Brunn-Minkowski theorem. ^[ref]