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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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!