Ω は局所レヴィ性を持つ。
すなわち、すべての点 x∈∂Ω に対して、xの近傍Uに対し、
U∩Ω 上の正則函数 f で x のどのような近傍にも拡張できないものが存在する。

これは
∀x∈∂Ω ∃U nbd of x ∃f∈Γ(U∩Ω,O) ∀V nbd of x∀g∈Γ(V,O) f ≠ g on (U∩V)
でいいんだろうか？