PROPIEDADES DE LAS RELACIONES

Para hablar de las propiedades de la relación, primero tenemos que definir que es una relación
entre conjuntos, una relación es una vinculación entre conjuntos en donde cumplen una propiedad
en común.

Estas propiedades son: la propiedad reflexiva, irreflexiva, no reflexiva, simétrica, asimétrica, no

simétrica, anti simétrica y transitiva. Y se definen de la siguiente manera:

La propiedad reflexiva: es una relación binaria sobre un conjunto A de manera que todo elemento
de A esta relacionado consigo mismo.

La propiedad irreflexiva: es cuando ningún elemento del conjunto A esta relacionado consigo
mismo dentro del conjunto relación.

La propiedad no reflexiva: es cuando algunos elementos del conjunto A se relacionan consigo

mismo, dentro del conjunto relación.

La propiedad simétrica: se da cuando un elemento está relacionado con otro mediante R entonces
ese otro también está relacionado con él, a través de la misma R.

La propiedad asimétrica: es cuando ningún pare ordenado cuenta con un reciproco o se relaciona
consigo mismo en el conjunto relación.

La propiedad no simétrica: es cuando solo algunos pares ordenados del conjunto relación cumplen
con la propiedad simétrica

La propiedad anti simétrica: es cuando se cumple la propiedad simétrica solo los pares ordenados
que se relacionan consigo mismo.

La propiedad transitiva: se da si para toda terna a, b, c de elementos de A se cumple que si a está
relacionado con b y b está relacionado con c, entonces a está relacionado con c.

En conclusión podemos decir que hay varios tipos de relaciones que nos sirven para identificar
tanto su simetría como su reflexividad a través de la visualización de sus elementos y
combinaciones de conjuntos. Además de que sin importar como este formado el conjunto relación
siempre cumplirá al menos con de las dos propiedades ya estudiadas.

Bibliografía

 Kolman, Busby, Ross y C. (1997). Estructuras de matemáticas discretas para la

computación.

 Corti y Gianneschi (2002). Elementos de lógica: primer orden con identidad.