Let XX be a and let Ω⊂X\Omega\subset X be .

Proposition: The lin⁡(Ω)\operatorname{lin}(\Omega) is convex.

Remarks

Context: The definition of lin⁡(Ω)\operatorname{lin}(\Omega) is built from . Convexity of Ω\Omega ensures that "segments staying in Ω\Omega" is stable under , which yields convexity of lin⁡(Ω)\operatorname{lin}(\Omega).