Let XX be a and let ΩX\Omega\subset X be , with core(Ω)\operatorname{core}(\Omega)\neq\emptyset.

Proposition: The set is convex.

Context: This is the algebraic analogue of the fact that the of a convex set (in a normed space) is convex; compare .