В математике [[бинарное отношение|Бинарное отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''симметричным''', если для каждой пары элементов множества <tex>(a, b)</tex> выполнение отношения <tex>a\,R\,b</tex> влечёт выполнение отношения <tex>b\,R\,a</tex>.
{{Определение
|definition =
