Relazione binaria e proprietà

Relazione binaria e proprietà

Una relazione definita in 

S\times S=S^{2}

si dice binaria in S.
Se x, y sono elementi che stanno nella relazione

si scrive 

x\Re y

e si legge " x è in relazione con y", mentre si scrive

x\not{\Re } y

per indicare che x non è in relazione con y.
Ricordiamo che una relazione è un sottoinsieme di e quindi gli elementi di sono le coppie ordinate di (x,y) tali che .

Proprietà di una relazione
Una relazione binaria   definita in S può essere:

Riflessiva:

Simmetrica:

Transitiva:

Asimmetrica:

Antiriflessiva:

Antisimmetrica:

Relazione d'equivalenza
Una relazione binaria in un insieme S che sia riflessiva, simmetrica e transitiva si dice relazione d'equivalenza in S
In tal caso se x e y sono in relazione , cioè , si dice che x ed y sono equivalenti.
Tutti gli elementi y di S equivalenti ad x formano un sottoinsieme di S che si dice classe d'equivalenza e si indica con il simbolo [x].

Risulta: se e sole se [x] = [y]

Precedente Problema assegnato alle Olimpiadi di matematica Successivo Problemi del tre composto