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

Proposition: If a∈core⁡(Ω)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

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.