Ω⊂Rn\Omega \subset \mathbb{R}^{n}Ω⊂Rnを開集合とする。全てのx∈bdryΩx \in \mathrm{bdry}\Omegax∈bdryΩに対して、以下の条件を満たすxxxの近傍UxU_{x}Uxとゼロベクトルではないyxy_{x}yxが存在する場合、Ω\OmegaΩは線分条件segment conditionを満たすという。
z∈Ω‾∩Ux ⟹ z+tyx∈Ω,0<t<1 z\in \overline{\Omega}\cap U_{x} \quad \implies \quad z+ty_{x} \in \Omega, 0 \lt t \lt 1 z∈Ω∩Ux⟹z+tyx∈Ω,0<t<1
ロバート・A・アダムスとジョン・J・F・フートニエ, Sobolev Space (第2版, 2003), p82 ↩︎