Ω⊂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
Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p82 ↩︎