06.05.2013 Views

T22.06 L846u.pdf - Universidad de La Salle

T22.06 L846u.pdf - Universidad de La Salle

T22.06 L846u.pdf - Universidad de La Salle

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.5.4.2.2. RELACION SIMETRICA<br />

Dados dos conjuntos A y B, y R una relación <strong>de</strong> A en B <strong>de</strong>cimos que R es<br />

simétrica si para cada (x,y) que pertenezca a la relación se tiene que (y,x) también<br />

es un elemento <strong>de</strong> R.<br />

5.5.4.2.3 .RELACION TRANSITIVA<br />

Dados dos conjuntos A y B, y R una relación <strong>de</strong> A en B <strong>de</strong>cimos que R es<br />

transitiva, si cada que (x,y) є R y (y,z) є R, se tiene que (x,z) є R.<br />

5.5.4.2.4 RELACION DE EQUIVALENCIA<br />

Dados dos conjuntos A y B, y R una relación <strong>de</strong> A en B <strong>de</strong>cimos que R es una<br />

relación <strong>de</strong> equivalencia, si es reflexiva, simétrica y transitiva.<br />

Nótese que, para que una relación R, reflexiva, simétrica o transitiva, a<strong>de</strong>más<br />

<strong>de</strong> establecer una relación "conveniente" se <strong>de</strong>be cumplir que A = B o que<br />

A ⊂ B.<br />

123

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!