ぶんりていり【分離定理】 平面上の，共通部分を持たない二つの凸集合は一つの直線の両側に分離できる。これを一般のユークリッド空間に拡張したもの。