Изменения

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

Формально, [[отношение]] <mathtex>R</mathtex> симметрично, если <mathtex>\forall a, b \in X,\ a\,R\,b \Rightarrow b\,R\,a</mathtex>.