В математике непустое подмножество S группы G называется симметричным , если оно содержит обратные элементы всех своих элементов.
Определение
В системе обозначений множеств подмножество группы называется симметричным, если всякий раз, когда , то обратное к также принадлежит
Так, если записано мультипликативно, то симметрично тогда и только тогда, когда , где
Если записано аддитивно, то симметрично тогда и только тогда, когда , где
Если является подмножеством векторного пространства , то называется симметричным множеством , если оно симметрично относительно аддитивной групповой структуры векторного пространства; то есть, если , что происходит тогда и только тогда, когда
Симметричная оболочка подмножества является наименьшим симметричным множеством, содержащим и оно равно Наибольшее симметричное множество, содержащееся в , является