2.6.F. Симметричные

Бинарное отношение симметрично, когда x имеет связь R на y, а y имеет эту связь на х; то есть ∀˂x, y˃: ˂x, y˃ ∈ R ⇔ ˂y, x˃ ∈ R; или ∀˂x, y˃: [˂x, y˃ ∈ R ⇔ ˂x, y˃ ∈ R^-1].

6F.1  R симметрично ⇔ R = R^-1. (Riguet)

Перевод © 2011 Сергей Котов

Теория множеств механизма и гомеостаза