ISO/TC 211 Multi-Lingual Glossary of Terms (MLGT)

Note to entry: "Smallest" is the set theoretic smallest, not an indication of a measurement. The definition can be rewritten as "the intersection of all convex sets that contain the geometric object". Another definition in a Euclidean space ${\displaystyle {\text{E}}^n}$ is the union of all lines with both end points in the given geometric object. ${\displaystyle C=A.\text{convexHull}\iff [C.\text{convex}=\text{TRUE}]\wedge \left[A\subset C\right]\wedge \left[[B.\text{convex}=\text{true},A\subset B]\Rightarrow \left[A\subseteq C\subseteq B\right]\right]}$