Sümmeetriline seos

binaarseose tüüp

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

Definitsioon

muuda

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

 

Vaata ka

muuda