Tipos de Relaciones

Relacin Reflexiva.

Una relacin se llama reflexiva si todo elemento esta relacionado con sigo mismo, si no todos los elementos del conjunto estn relacionados consigo mismo se dice que la relacin no es reflexiva.

Relacin Irreflexiva.

Una relacin binaria es irreflexiva, tambin llamada: antirreflexiva o antirrefleja, si ningn elemento del conjunto esta relacionado consigo mismo:

Relacin Simtrica. Una relacin binaria es simtrica, si se cumple que un par ordenado (A,B) pertenece a la relacin entonces el par ( B,A ) tambin pertenece a esa relacin. Para todo par ordenado (A,B) que pertenezca a R, implica que el par (B,A) tambin pertenece aR , tngase en cuenta que si el par( A,B ) no pertenece a la relacin el par ( B,A) tampoco tiene que pertenecer a esa relacin.

Relacion Antisimetrica. Una relacin binaria se dice que es antisimtrica si los pares ordenado ( A,B) y (B,A) pertenecen a la relacin entonces A = B. Dicho de otra manera, no existen los elementos A, B distintos, y que a este relacionado con B yB este relacionado con A.

Relacion Transitiva. Una relacin binaria es transitiva cuando, dado los elementos A, B, C del conjunto, si A esta relacionado con B y B esta relacionado con C, entonces a esta relacionado con C.

Que son las relaciones? Es la union de dos conjuntos don de al conjunto A le corresponde 1 o mas elementos del conjuntoB Las relaciones tienen una importancia fundamental tanto en la teora como en las aplicaciones a la informtica. Una estructura de datos tales como una lista, una matriz o un rbol, se usan para representar conjuntos de elementos junto con una relacin entre los mismos. Las relaciones que son parte de un modelo matemtico estn a menudo implcitamente representadas por relaciones en una estructura de datos. Las relaciones tambin juegan un importante papel en la teoria de computacin, incluyendo estructuras de programas y analisis de algoritmos.