RELACIÓN ENTRE CONJUNTOS
COMPRENDE
RELACIÓN DE ORDEN PARCIAL
RELACIONES EQUIVALENTES
RELACIÓN TRANSITIVA
RELACIÓN SIMÉTRICA
RELACIÓN REFLEXIVA
RELACIÓN ANTISIMÉTRICA
UNA RELACIÓN R EN UN CONJUNTO A SE LLAMA UN ORDEN PARCIALSI R ES REFLEXIVA, ATISIMÉTRICA Y TRANSITIVA. EL CONJUNTO A JUNTO CON EL ORDEN PARCIALR SE LLAMA CONJUNTO PARCIALMENTE ORDENADO Y SE DENOTA POR (A,R)
ESTABLECER UNA RELACIÓN ENTRE LOS ELEMENTOS DEL CONJUNTO QUE COMPARTEN CIERTA CARACTERÍSTICA O PROPIEDAD, ESTO PERMITE REAGRUPAR DICHOS ELEMENTOS EN CLASES DE EQUIVALENCIA, ES DECIR, "PAQUETES DE ELEMENTOS SIMILARES"
UNA RELACIÓN BINARIA R, SOBRE UN CONJUNTO A ES TRANSITIVACUANDO CUMPLE: SIEMPRE QUE UN ELEMENTO SE RELACIONA CON OTRO Y ESTE ÚLTIMO CON EL TERCERO, ENTONCES EL PRIMERO SE RELACIONA CON EL TERCERO
UNA RELACIÓN BINARIA R SOBRE UN CONJUNTO A, ES SIMÉTRICA CUANDO SE DA: SI UN ELEMENTO ESTÁ RELACIONADO CON OTRO MEDIANTE R, ENTONCES ESE OTRO TAMBIÉN ESTÁ RELACIONADO CON ÉL, A TRAVÉS DE LA MISMA "R", ES LO MISMO QUE TENER (A,B) QUE TENER (B,A)
CUANDO UNA RELACIÓN ES LO OPUESTO A UNA SIMÉTRICA, ES DECIR, CUANDO SE DA QUE UN ELEMENTO ESTÁ RELACIONADO CON OTRO MEDIANTE R, ENTONCES ESE OTRO NO ESTÁ RELACIONADO CON EL PRIMERO, ENTONCES DECIMOS QUE ES ASIMÉTRICA LO QUE DENOTAMOS FORMALMENTE POR: EN ESTE CASO, DECIMOS QUE R CUMPLE CON LA PROPIEDAD DE ASIMETRÍA.
TODA RELACIÓN QUE SEA REFLEXIVA DEBE DE TENER AL MENOS "n" FLECHAS (SUPONIENDO QUE n ES EL NÚMERO DE ELEMENTOS DE A): DEBEN ESTAR TODAS LAS PAREJAS (a,a) DONDE a BARRE TODOS LOS ELEMENTOS DE A.
∀ x, ( x ∈ A → ( x, x ) ∈ R )
∀ x, y, (( x, y ) ∈ R → (y, x ) ∈ R ).
Sean A un conjunto y R una relación. Se dice que R es antisimétrica si ∀ x, y, (( x, y ) ∈ R ∧ (y, x ) ∈ R → x = y ). Cuando están las parejas ( x, y ) y (y, x ) en la relación, es porque las parejas son ( x, x ).
∀ x, y,z, (( x, y ) ∈ R ∧ (y,z ) ∈ R → ( x,z ) ∈ R ).
Sean A un conjunto y R una relación. Se dice que R es una relación de equivalencia si R es reflexiva, simétrica y transitiva.
Sean A un conjunto y R una relación. Se dice que R es una relación de orden parcial si R es reflexiva, antisimétrica y transitiva.