定義
E を実数体 R 上の位相線形空間とする。
H を E の閉超平面(>>130)とする。

A, B をそれぞれ E の空でない部分集合とする。
A が H で定義される閉半空間(>>150)の一つに含まれ、
B が H で定義される他方の閉半空間に含まれとき、
A と B は H により分離されると言う。

A が H で定義される開半空間(>>150)の一つに含まれ、
B が H で定義される他方の開半空間に含まれとき、
A と B は H により強分離されると言う。