定義
E を実数体 R 上の線形空間とする。
A を E の部分集合とする。

-A = A のとき A を対称的と言う。