00JG Lemma 2.76. The intersection of all Weierstrass neighbourhoods of Ω\Omega in 𝔐(𝒜)\mathfrak{M}(\mathcal{A}) coincide with Ωh\Omega^{\mathrm{h}}. ([Ber, Proposition 2.6.1])