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

Proposition: If acore(Ω)a\in\operatorname{core}(\Omega) (see ) and bΩb\in\Omega, then

[a,b)core(Ω),[a,b)\subset \operatorname{core}(\Omega),

where [a,b)[a,b) is the half-open from aa to bb.

Context: This is the "core" analogue of for normed spaces. It is used to prove structural properties of core(Ω)\operatorname{core}(\Omega) such as idempotence.