PROPIEDADES DE LAS RELACIONES BINARIAS R : A A

Propiedad Hipótesis Tésis

1) IDÉNTICA O REFLEXIVA x, x  A  ( x, x)  R

2) ARREFLEXIVA O x, x  A  ( x, x)  R
IRREFLEXIVA O INIDÉNTICA

3) NO REFLEXIVA x, x  A  ( x, x)  R

x, x  A
4) SIMÉTRICA O RECÍPROCA  ( x, y)  R  ( y , x)  R
y, y  A
x, x  A
5) ASIMÉTRICA  ( x, y)  R  ( y , x)  R
y, y  A
x, x  A
6) NO SIMÉTRICA  ( x, y)  R  ( y, x)  R
y, y  A
x, x  A
7) ANTISIMÉTRICA y, y  A  x y
( x, y)  R  ( y, x)  R
x, x  A , y, y  A ,
8) TRANSITIVA z, z  A  ( x, z )  R
( x, y)  R  ( y, z )  R
x, x  A , y, y  A ,
9) ATRANSITIVA z, z  A  ( x, z )  R
( x, y)  R  ( y, z )  R
x, x  A , y, y  A , ( x, y)  R  ( y, z )  R
10) NO TRANSITIVA 
z, z  A  ( x, z )  R

R ES DE EQUIVALENCIA, SI SE CUMPLEN: 1 , 4 y 8
R ES DE ORDEN ESTRICTO, SI SE CUMPLEN: 2 , 5 y 8
R ES DE ORDEN AMPLIO, SI SE CUMPLEN: 1 , 7 y 8
R ES DE ORDEN PARCIAL  x, x  A  y, y  A / ( x, y)  R  ( y, x)  R
Hay (por lo menos) un par de elementos que no son comparables
R ES DE ORDEN TOTAL  x, x  A  y, y  A / x  y  ( x, y)  R  ( y, x)  R
Linealidad.

---------------------------------