デュドネの定理
空でな閉凸集合 A , B ⊂ X {\displaystyle A,B\subset X} を局所凸空間とし、 もし A {\displaystyle A} または B {\displaystyle B} が局所コンパクトでありかつ、 recc  ( A ) ∩ recc  ( B ) {\displaystyle \operatorname {recc} (A)\cap \operatorname {recc} (B)} (ここで記号 recc {\displaystyle \operatorname {recc} } は後退円錐(英語版)を表す)線型部分空間であるならば、 A − B {\displaystyle A-B} は閉じている。