Let XX be a and let ΩX\Omega\subseteq X be . Then its

core(Ω)\operatorname{core}(\Omega)

is convex. This includes the case in which the core is empty.

Context

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