Sümmeetriline seos

Allikas: Vikipeedia

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

Definitsioon[muuda | redigeeri lähteteksti]

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

   \forall x, y: x R y \Rightarrow y R x.

Vaata ka[muuda | redigeeri lähteteksti]