在数学中，群"G"的非空子集"S"满足其中formula_2，则"S"被称为是对称的()。换句话说"S"是对称的，如果当formula_3时有formula_4。如果"S"是向量空间的子集，且它相对于向量空间的加法群组结构是对称的，则"S"被称为是对称的; 也就是说满足formula_5。本条目含有来自PlanetMath《symmetric set》的材料，版权遵守乃遵守协议。