A unary function and a specialization (via Genl Functions) of Minimal Subsuming Convex Space Region Fn (q.v.) that is defined only for HomogeneousPositiveDimensionalSpaceRegions (q.v.). (convex region fn REGION) is the convex region CONVEX delimited by the convex-hull of REGION. That is, CONVEX is the minimal convex region that subumes REGION.

This function is taken as a primitive notion (and called conv) in Region Connection Calculus 8 Theory, and is used there to define other topological notions such as Inside Space Region, Outside Space Region, and partially inside.

See also the corresponding predicate Convex Space Region Of.