RELACIONES Y FUNCIONES

1. RELACIONES
Dados dos conjuntos E y F, la relación entre elementos es todo
subconjunto de �de ExF donde ��ExF .
Si ( a, b ) ExF / ( a, b )
� se dice que los elementos de a y b
están en relación � y suele denotar con a �b o � (a,b).
Ejemplo.
a) Si E={a,b,c} y F={m,n,r}, el subconjunto de ExF
�={(a;m), (b,:m), (c;m)} es una relación entre elementos
de ExF.
1.1.Dominio de la relación.- se le denomina asi, al conjunto
de todos los elementos x �E tales que existe un
y �F / ( x, y ) ��
Dom(�) = {x �E / $y, ( x, y ) ��} donde Dom(�) �E
Dado:
x �E , x �dom(�) � $y �F / ( x, y ) ��
x �E , x �dom(�) � "y �F se tiene que ( x, y ) ��
1.2.Rango de la relación.- al conjunto de todos los
elementos y �F tales que existe x �E para el cual el par
( x, y ) ��
Rang (�) = { y �F / $x �E , ( x, y ) �� rang (�) �F
Dado:
y �F , x �rang (�) � $x �E / ( x, y ) ��
y �F , y �rang (�) � "x �E se tiene que ( x, y ) ��
1.3.Proposición:
si R y S son dos relaciones entre elementos de E y
elementos de F se cumplen las siguientes propiedades:
 dom( R �S ) = dom( R) �dom( s)
ran( R �S ) = ran( R) �ran( s )
dom( R �S ) �dom( R) �dom( S )
ran( R �S ) �ran( R) �ran( S )
dom( R - S ) �dom( R) - dom( S )
ran( R - S ) �ran( R) - ran( S )

1.4.Corolario:
dom( RDS ) �dom( R )Ddom( S )
ran( RDS ) �ran( R )Dran( S )
1.5.Relación inversa: