Sümmeetriline seos

Sümmeetriline seos on binaarne seos, millel on omadus: kui x on seoses y-ga, siis y on seoses x-ga.

Definitsioon

Olgu R binaarne seos mingil hulgal A ning x, ja y hulga A mingid elemendid. Tähistame asjaolu, et x on y-ga seoses R, valemiga xRy. Seos R on sümmeetriline parajasti siis, kui

${\displaystyle \forall x,y:xRy\Rightarrow yRx.}$

Vaata ka

• Antisümmeetriline seos
• Ekvivalentsiseos