1

RELACIONES BINARIAS: UN ENFOQUE ALTERNATIVO

Luisa L. Lazzari Patricia I. Mouli
(CIMBAGE Facultad de Ciencias Econmicas - Universidad de Buenos Aires)
1. INTRODUCCIN
Las relaciones entre elementos de dos conjuntos forman parte de la vida social, econmica y de la
actividad de las empresas. Un objetivo importante es comprender la naturaleza y contenido de esas
relaciones. Los estudios clsicos basados en la lgica booleana solo consideran las alternativas de
existencia o no de relacin. La necesidad de establecer un grado o nivel de vnculo conduce al
empleo de conjuntos borrosos para su generalizacin. Se descubren entonces, propiedades muy
interesantes. Por ejemplo la nocin de equivalencia se reemplaza por la de similitud, menos fuerte y
ms apta para representar situaciones menos precisas pero que se encuentran ms frecuentemente.
Preorden y orden se generalizan de igual forma y se definen nuevas relaciones como las de
semejanza y desemejanza.
Gil Aluja (1999) define relacin como todo tipo de asociacin capaz de poner en evidencia el nivel de
conexin existente entre objetos fsicos o mentales pertenecientes a un mismo conjunto o entre
objetos de distintos conjuntos.
Avanzar en el estudio de las relaciones fuzzy ayuda a buscar nuevos caminos para dar solucin a
complejas cuestiones de decisin en el mbito de las realidades sociales, econmicas y de gestin
(Gil Aluja, 1999). Permite plantear y resolver problemas de decisin referidos a relaciones de distinto
tipo , a la asignacin, agrupacin y ordenacin de recursos, inversiones, fuentes de financiacin,
recursos humanos y otros.
En este trabajo se presentan y se comparan los conceptos de relacin binaria crisp y fuzzy y sus
diferentes formas de representacin. Se generalizan algunas propiedades de las relaciones cuando
los conjuntos son iguales, que hacen posible una clasificacin de las mismas. Por ltimo se analizan
las relaciones de equivalencia y orden y sus extensiones fuzzy.
2. RELACIONES BINARIAS CRISP Y FUZZY: CONCEPTOS BSICOS
Una relacin binaria crisp (ntida) representa la presencia o ausencia de asociacin, interaccin o
interconexin, vinculacin, incidencia etc . entre los elementos de dos conjuntos. Este concepto puede
ser generalizado haciendo posible diversos grados o intens idad de asociacin o interaccin entre
elementos. En una relacin fuzzy los grados de asociacin pueden ser representados mediante
grados de pertenencia. Una relacin ntida puede considerarse un caso particular de una borrosa, as
como un conjunto ntido lo es de uno borroso.
Dados dos conjuntos X e Y , se denomina relacin binaria R , de X en Y (Rojo, 1972), a todo
subconjunto del producto cartesiano X Y .
Una relacin crisp puede ser definida por medio de una funcin caracterstica que asigna valor uno a
todo par ordenado que pertenece a la relacin y cero a todo par que no pertenece a la misma.

1
0

Se denota R : X Y
0,1/
x , y

si
si

x, y R
x, y R

Para indicar que el par ordenado

a, b pertenece a la relacin suele escribirse
a, b
R o bien aRb
(Rojo, 1972). Las relaciones binarias pueden representarse mediante un diagrama (Figura 1) o una
matriz R rij (Figura 2), donde rij 1 indica que x est relacionado con y , mientras que rij 0

que no lo est.

Este trabajo fue realizado en el marco del Proyecto E019: Prediccin y toma de decisiones en condiciones de
incertidumbre de la Programacin Cientfica 2004-2007 de la Universidad de Buenos Aires.

Ejemplo 1. R X Y / R
x1 , y1
,
x1 , y3
,
x2 , y1

y 1
x1

y2
x2

y3
Figura 1. Diagrama de una relacin binaria crisp

1 0 1
R
1 0 0

Figura 2. Representacin matricial de una relacin binaria crisp

La relacin inversa de R es el subconjunto de Y X siguiente (Rojo, 1972):

R 1
y, x
/ x, y
Ro bien 1
y ,x
R
x, y

x, y
X Y
R

Al generalizar:
~
Dados dos conjuntos X e Y , se denomina relacin binaria borrosa R , de X en Y (Kaufmann,
~
1973), a todo subconjunto borroso del producto cartesiano X Y . Se denota R : X Y
0 ,1
.
Por ser una generalizacin de las relaciones binarias ntidas, las relaciones binarias borrosas tambin
~
pueden representarse mediante un diagrama (Figura 3) o una matriz de pertenencia R rij (Figura

4), donde rij R~

x, yes el grado con el cual x est relacionado con y . Este valor puede indicar
incidencia, preferencia, u otro tipo de vinculacin entre los elementos de los conjuntos ntidos X e
Y.
Todas las operaciones definidas con subconjuntos borrosos (como por ejemplo la unin, la
interseccin y el complemento) pueden extenderse a las relaciones borrosas (Kaufmann y Gil Aluja,
1993). Se pueden definir los -cortes de una relacin borrosa como:
R
x, y
/ R~
x, y
,
0 , 1
.

Ejemplo 2. R X Y expresada mediante el diagrama de la Figura 3 y por su matriz de pertenencia

(Figura 4).

0.5
x1

0.9
1

x2

y 2

0.7
0.2

y3

Figura 3. Diagrama de una relacin binaria borrosa

0.5 1 0 .7
~
R

0.9 0 0 .2

Figura 4 . Matriz de pertenencia de

~
R

2.1. Composicin max-min

~
~
~
~
~ ~
Sean R1 X Y y R2 Y Z . Se define la composicin de R1 y R2 , representada por R1 R 2 ,
como la relacin borrosa cuya funcin de pertenencia est dada por:
R~ R~
x , z
max min R~
x,y
, R~
y, z donde x X , y Y , z Z .
1

La composicin max-min es asociativa y no conmutativa.

3. RELACIONES DEFINIDAS EN UN CONJUNTO X

R es una relacin definida en un conjunto X , si y solo si R X 2 .

3.1. Posibles propiedades de las relaciones definidas en un conjunto X
Las relaciones binarias definidas en un conjunto pueden cumplir diferentes propiedades que permiten
una clasificacin de las mismas. En primer lugar se consideran las correspondientes a una relacin
crisp.
R es reflexiva si y solo si x X :
x, x
R .

R
R
R
R
R

es arreflexiva si y solo si x X :
x , x
R .

es simtrica si y solo si x y X :
x, y
R
y,x
R .

es asimtrica si y solo si x yX :
x, y
R
y, x
R .

es antisimtrica si y solo si x y X :
x, y
R
y, x
R
x y .
es transitiva si y solo si x y z X :

x, y R y ,z R x, z R .

Estas propiedades pueden extenderse a las relaciones fuzzy y expresarlas mediante la funcin de
pertenencia (Kaufmann, 1973; Klir y Yuan, 1995).
~ es reflexiva si y solo si ~
R
1, x X .
R x, x

~ es simtrica si y solo si ~
R
R~
y, x
,
x, y
X 2 .
R x, y
~ es antisimtrica si y solo si ~
R
0 R~
y, x
0 x y ,
x , y
X 2
R x, y
~ es max-min transitiva si y solo si ~
R
x, z
max
min
~
x, y
, ~
y, z

~ es antirreflexiva si y solo si ~
R
0, x X .
R x, x
3.2. Clasificacin de las relaciones binarias definidas en un conjunto X
Al considerar las diferentes propiedades, se pueden distinguir distintos tipos de relaciones definidas
en un conjunto X (Tabla 1), algunos de ellos sern tratados en este trabajo.
Reflexiva Arreflexiva

Simtrica

Asimtrica

Antisimtrica

Transitiva

Equivalencia
Compatibilidad/semejanza
Pre-orden
Orden amplio
Orden estricto
Tabla 1. Algunos tipos de relaciones binarias definidas en un conjunto

Existen otras definiciones de las propiedades de las relaciones binarias borrosas (Kaufmann, 1973; Kaufmann
y Gil Aluja, 1993; Klir y Yuan, 1995).

4. RELACIONES DE EQUIVALENCIA
Una relacin binaria R X

es de equivalencia si y slo si es reflexiva, simtrica y transitiva. Para

cada elemento x se puede definir un conjunto, denotado Ax , que contiene todos los elementos del
referencial que estn relacionados con ste a travs de la relacin R . Ax es la clase de equivalencia
de la relacin con respecto a x y todos los elementos que pertenecen a la misma clase son
equivalentes. Formalmente, Ax
y/
x, y
R, x Ax por ser una relacin reflexiva.
La familia de todas las clases de equivalencia definidas por la relacin R , denotada X / R ,
determina una particin de X .

Una relacin binaria borrosa R X es de equivalencia borrosa o de similaridad si y slo si es

3
reflexiva, simtrica y transitiva max-min .
2

Toda relacin R (por ser un conjunto borroso) puede ser representada unvocamente en trminos de

sus -cortes mediante la expresin R

. R.

0 ,1

Si R es una relacin de similaridad, cada -corte para

0 ,1es una relacin de equivalencia

ntida, que representa la presencia de similaridad de grado entre los elementos. Cada una de esas
relaciones de equivalencia crisp determina una particin de X . R denota la particin

correspondiente a la relacin de equivalencia de R. Dos elementos x e y pertenecen al mismo

subconjunto de la particin si y solo si R~
x, y
. Cada relacin de similaridad se asocia con el

conjunto R

R
/
0,1
de particiones del conjunto X . R es un refinamiento de

R si y solo si (Klir y Yuan, 1995).

Ejemplo 3. La relacin R definida en X
1,2,3,4,5,6,7
, mediante su matriz de pertenencia (Figura
5), es una relacin de equivalencia borrosa dado que es reflexiva (la diagonal principal tiene unos),

simtrica (es simtrica respecto a la diagonal principal) y transitiva max-min ( R R R ). Est

asociada con una secuencia de particiones R para 0 , R~
0, 0.4, 0.5, 0.8, 0 .9, 1. Sus

refinamientos pueden ser graficados mediante un diagrama de rbol (Figura 6).

1 0. 8 0 0. 4 0
0
0

0. 8 1
0 0. 4 0
0
0

0
0
1
0
1 0.9 0.5
~

R
0.4 0. 4 0
1
0
0
0
0
0
1
0
1 0.9 0.5

0 0. 9 0 0.9 1 0.5
0
0
0 0. 5 0 0.5 0.5 1

Figura 5. Matriz de pertenencia de R

Este concepto puede ser generalizado para otra definicin de transitividad de una relacin fuzzy.

= 0.4

= 0.5

= 0.8

= 0.9

= 1

Figura 6. Diagrama de rbol

Las clases de equivalencia formadas por los niveles de refinamiento de una relacin de similaridad
pueden interpretarse como conjuntos de elementos que son similares entre si en un grado no menor
que .
El concepto de rbol de particin en una relacin de similaridad (Figura 6) juega el mismo papel que
el conjunto cociente en una relacin de equivalencia (Zadeh, 1971).
Las relaciones de similaridad, al igual que las de equivalencia, definen clases de similaridad. Dada

una relacin de similaridad R definida en X , la clase de similaridad para cada elemento x X es

un conjunto borroso en el cual el grado de pertenencia de cada elemento y X es la intensidad de
la relacin de cada elemento con x . Es decir, la clase de similaridad para un elemento x representa
el grado con el cual todos los otros elementos de X son similares con x (Klir y Yuan, 1995).
4.1 Aplicacin: capital y espacio financiero
El sujeto econmico considera la magnitud tiempo con diversos significados segn sea la naturaleza
del problema que pretende explicar o analizar.
Una interpretacin consiste en considerar el tiempo como una magnitud sin influencia en el fenmeno
econmico. Bajo una hiptesis de fenmenos estticos o invariantes respecto al tiempo, el tiempo y el
espacio son solamente el soporte fsico de los hechos econmicos.
Con la aparicin de los modelos dinmicos en los que intervienen variables econmicas cuyos
valores son funcin del tiempo, se lo considera una variable exgena de la que en cierta forma
depende el resultado del fenmeno econmico.
Si se tiene en cuenta que en todo proceso de produccin interviene el tiempo y que entre dos
procesos de igual rendimiento y factores, pero de diferente duracin, el sujeto econmico prefiere
aquel que representa un menor consumo de tiempo, ste puede ser contemplado como un bien
econmico capaz junto con otros de transformarse en nuevos bienes a travs de un proceso
productivo, o de canjearse o sustituirse por otro bien en un proceso o decisin de consumo (Gil
Pelaez, 1989).
Bajo esta perspectiva se identifican los bienes econmicos mediante el par
C ,t
. C indica el valor del
bien y t expresa el momento de tiempo en que va referida dicha valoracin, llamado momento de
disponibilidad, de referencia o de vencimiento del valor del bien.

Se denomina capital financiero a la medida de un bien econmico referida al momento de su

disponibilidad o vencimiento, la magnitud bidimensional
C ,t / C , t y espacio financiero al

conjunto de todos los posibles valores del capital financiero E

C ,t
/ C ,t .

El conjunto E
t0

C , t / C , t t0

se denomina corte

del espacio financiero por t0 , y

representa el subconjunto de todos los capitales con vencimiento t0 .

El corte del espacio financiero por C 0 es el subconjunto de todos los capitales de valor C 0 ,

E
C0

C, t
/ C C 0 , t R
.

4.1.2. Relacin de equivalencia financiera

Todo hecho econmico en el que intervienen capitales financieros recibe el nombre de fenmeno
financiero. Operacin financiera es toda accin que intercambia o sustituye ciertos capitales
financieros por otros de distinto vencimiento o bien a todo cambio no simultneo de capitales (Gil
Pelaez, 1989).
La mayora de los fenmenos financieros son operaciones financieras o asimilables a operaciones
financieras ms o menos imperfectas.
Con el propsito de poder resolver algunos problemas que pla ntean los fenmenos financieros,
pueden definirse en el espacio financiero E relaciones de equivalencia que permitan al sujeto
econmico decir si los capitales
C ,t
y
C
,t
son equivalentes.

Para definir una relacin de equivalencia en el espacio financiero E

C ,t
/ C , t se

considera un nico criterio mediante el cual, dado un capital cualquiera

C ,t
, se puede obtener el
valor V del capital sustituto con vencimiento p fijo. Es decir, el sujeto econmico es capaz de realizar

una aplicacin de E en el corte p, o sea, en E

p
V ,t
, V R , t p .

Este postulado recibe el nombre de principio de proyeccin o sustitucin financiera en p, y el valor V,

correspondiente a un capital
C ,t se expresa: V Proy p
C ,t
(Figura 7).

Figura 7. Proyeccin financiera

Asociado a este criterio de proyeccin financiera en p se define la relacin de equivalencia financiera

en p, ~p , definida por la condicin de tener la misma proyeccin, es decir:

C ,t C
1 1 ~p

2 , t2

Proy p C1 ,t1 Proy p C 2 ,t 2

Se verifican las propiedades:

Reflexiva:
C , t
~p C , t ,
C, t
E

C ,t C , t C ,t C ,t , C ,t E ,C ,t E
Transitiva:
C , t C , t

C , t
C ,t
C , t C , t , C , t , C , t
Simtrica:

1 1 ~
p

1 ~
p

2 ~
p

~
2 p

1 ~
p

1 1

,
C3 , t 3
E

Una clase de equivalencia est formada por el conjunto de capitales que tienen la misma proyeccin
financiera y como representante de la misma puede elegirse
V , p (representante cannico).

El conjunto cociente de esta relacin est dado por E / ~

p
V , p
/ V Proy p
C ,t (Figura 8).
Se considera capital nulo a todo capital con valor cero, cualquiera sea t, que tiene proyeccin nula en
p, o sea Proy p
0, t
0 . La clase de equivalencia est representada por los puntos del eje del
tiempo.

v4
v3
v2
v1
t

Figura 8. Conjunto cociente

Es importante destacar el carcter relativo de la relacin de equivalencia dado que depende del
criterio de proyeccin en p, al que la equivalencia va asociada. (Gil Pelez, 1989).
Esta relacin de equivalencia crisp puede generalizarse a una relacin fuzzy de similitud si se define
la similitud financiera por la propiedad de tener sustituto o proyeccin financiera similares en un
grado en un punto p. Para los diferentes - cortes que producen crecientes niveles de refinamiento
se obtienen las correspondientes relaciones de equivalencia financiera crisp.
5. RELACIONES DE ORDEN
Es usual en matemtica y en la vida cotidiana ordenar los elementos de un conjunto de acuerdo con
algn criterio conveniente. Existen diferentes tipos de relaciones de orden. Lo esencial de toda
relacin de orden es la transitividad, y segn se cumplan o no otras propiedades se habla de orden
amplio o estricto, y en cada caso, de orden parcial o total (Rojo, 1972).
Una relacin binaria crisp R X
transitiva.

es de orden amplio si y slo si es reflexiva, antisimtrica y

Una relacin binaria crisp R X

transitiva.

es de orden estricto si y slo si es arreflexiva, asimtrica y

Una relacin binaria crisp R X 2 es de orden parcial si y slo si existen pares de elementos no
comparables, es decir: x, y /
x, y
R
y,x
R .
Una relacin binaria crisp R X es de orden total si y slo si x y
x, y
R
y, x
R .
Comnmente el orden queda especificado a travs del trmino preceder. Decir x precede a y significa
2

x, y R

y se denota x y . La relacin inversa R

X 2 que se define como y x

y , x
R

indica que x es el sucesor de y.

5.1 Elementos distinguidos de un conjunto ordenado (Rojo, 1972)
Sea X un conjunto ordenado por una relacin de orden ( ):
x X es primer elemento o mnimo de X respecto de la relacin x y , y X .

x X es ltimo elemento o mximo de X respecto de la relacin x y , y X .

m X es elemento minimal de X respecto de la relacin y m y m , y X .
M es elemento maximal de X respecto de la relacin M y M y , y X .
a X es una cota inferior del subconjunto A X x A a x .
b X es una cota superior del subconjunto A X x A x b .
s X es el supremo o cota superior mnima del subconjunto A X si y slo si es el primer elemento
del conjunto de las cotas superiores.

iX es el nfimo o cota inferior mxima del subconjunto A X si y slo si es el ltimo elemento

del conjunto de las cotas inferiores.
Las relaciones de orden
satisfacen las siguientes propiedades:
1. Existe a lo sumo un primer elemento y un ltimo elemento.
2. Puede existir ms de un elemento maximal y ms de uno minimal.
3. Si existe ltimo elemento existe slo un elemento maximal y es igual al ltimo elemento.
4. Si existe primer elemento existe slo un elemento minimal y es igual al primer elemento.
5. El primer y ltimo elemento de una relacin de orden corresponden respectivamente al ltimo
y primer elemento de la relacin inversa.
6. Las cotas de un conjunto, si existen, no son necesariamente nicas. En cambio, el nfimo o
supremo pueden no existir, ya que un conjunto ordenado puede carecer de primer o ltimo
elemento; pero si existen, son nicos.
Toda relacin de orden sobre un conjunto X puede ser representada mediante un diagrama de
Hasse (Figura 9), en el cual cada elemento de X se expresa por un nodo que se conecta
nicamente con los nodos que representan su inmediato predecesor o su inmediato sucesor. Las
conexiones tienen por objeto distinguir predecesores de sucesores; indica preceder ( ).
Ejemplo 4
Sean tres relaciones de orden P, Q y R definidas en el conjunto X a, b , c, d , e por sus matrices
de pertenencia y los diagramas de Hasse correspondientes (Figura 9).

P
1

0 0 0 0
1 0 0 0

0 1 0 0

1 0 1 0
0 1 0 1

Q
1

0 0 0 0
1 0 0 0

0 1 0 0

1 1 1 0
1 1 1 1

ltimo elemento y
elemento maximal

ltimo elemento y
elemento maximal

Elemento
minimal

ltimo elemento y
elemento maximal

d
d

0 0 0 0
1 0 0 0

1 1 0 0

1 1 1 0
1 1 1 1

R
1

e
Elemento
minimal

Primer elemento y
elemento minimal

Primer elemento y
elemento minimal

Figura 9. Relaciones de orden crisp

Se generalizan algunos de estos conceptos al caso borroso. Una relacin binaria fuzzy definida en un
conjunto X es una relacin fuzzy de orden amplio si y slo si es reflexiva, antisimtrica y transitiva
considerando alguna forma de transitividad fuzzy. Cualquier relacin de orden amplio fuzzy basada
en la transitividad max-min puede interpretarse como una serie de relaciones de orden crisp de la
misma manera que en las relaciones de similaridad, es decir, considerando diferentes - cortes que
producen crecientes niveles de refinamiento ( Klir y Yuan, 1995).
Cuando una relacin de orden amplio fuzzy se define en un conjunto X , dos conjuntos borrosos
estn asociados con cada elemento x en X . El primero se denomina la clase dominante de x . Se
~
denota como R

y R~
x , y donde y X . En otras palabras la clase
x y se define como R~
x
dominante de x contiene los elementos de X con el grado con el que dominan a x . El segundo

conjunto borroso corresponde a la clase dominada por

la cual se denota

~
R
x /

~R
y ~R
y,x
, y X . La clase dominada por x contiene los elementos de X con el grado
x
con el que son dominados por x .
Un elemento x X es no dominado si y slo si R~
x,y
0 para todo y X y y x .

Un elemento x X es no dominante si y slo si R~

y, x
0 para todo y X y y x .

Para un subconjunto ntido A de X en el cual se define una relacin de orden fuzzy R la cota

superior fuzzy para A es el conjunto borroso siguiente: U R

x donde indica una
xA

interseccin fuzzy apropiada. Esta definicin se reduce a la definicin habitual de cota superior
cuando el orden es crisp. Si existe supremo en el conjunto A , es el nico elemento de X tal que

~
U~
x 0 y ~R
x, y
0 para todo y supp U 4 .

Ejemplo 5

Dada la relacin de orden fuzzy en X a ,b ,c ,d ,e por su matriz R ( Klir y Yuan, 1995).

1 0 .7
0
1

~
R =
0.5 0 .7

0
0
0 0.1

0 0 0.7
0 0.9 0

1 1 0.8

0 1
0
0 0.9 1

Figura 10. Matriz de pertenencia

La clase dominante para cada elemento est dada por la fila de la matriz correspondiente a ese
elemento. Las columnas de la matriz indican la clase dominada para cada elemento. De acuerdo con
esta relacin de orden el elemento d es no dominado y el elemento c es no dominante. Para el
conjunto A
a ,b, la cota superior es el conjunto borroso que se obtiene de la interseccin de las
clases dominantes para a y b . Empleando el operador mnimo para la interseccin, se obtiene

~
U
a ,0
; b,0.7
; c,0
; d ,0.9
;
e,0
. El supremo de A es el elemento b.
Si se efectan diferentes cortes para valores crecientes de se obtienen las diferentes relaciones de
orden crisp cuyos diagramas de Hasse se observan en la Figura 11.

0. 1

0.5

0.7

d
d

b
b

e
a
a
c

Soporte del conjunto

~
U.

0.8

0. 9
d

Figura 11. Relaciones de orden crisp para distintos niveles de

Existen otros tipos de relaciones de orden crisp que pueden generalizarse fcilmente al caso fuzzy
como las relaciones de preorden o de orden estricto (Tabla 1). Un preorden fuzzy es una relacin
binaria fuzzy reflexiva y transitiva (para algn tipo de transitividad fuzzy). Una relacin de orden
estricto fuzzy puede obtenerse a partir de una relacin de orden amplio si se reemplazan los valores
R~
x , x
1 por ceros para todo x X .
5.2. Aplicacin: relacin de preferencia
Se considera el caso de un consumidor que se enfrenta al problema de elegir a partir de un conjunto
de objetos X , que es su conjunto de consumo y se supone que tiene determinadas preferencias
K

respecto a las cestas de consumo de X . Se considera a X como un subconjunto de , donde K

es el nmero de bienes (Varian, 1992; Mas-Colell, 1995; Kreps, 1995).
La forma convencional de modelizar al consumidor es con una relacin de preferencia que se denota
. Cuando se escribe x y significa que el consumidor piensa que la cesta x es, al menos, tan
buena como la y . De esta relacin se derivan otras dos relaciones importantes sobre X :
i) Preferencia estricta ( ): x y x y pero no y x (orden total estricto).
ii) Indiferencia (): x y x y y x (equivalencia).
La relacin de preferencia es un preorden total dado que cumple las siguientes propiedades:
Reflexividad: x X : x x
Transitividad: x y z X : ( x y y z ) x z
Dadas las caractersticas de esta relacin y la subjetividad en la que estn imbuidas las apreciaciones
del consumidor puede considerarse que ste prefiere una cesta de bienes a otra en un cierto grado y
se generaliza la preferencia como una relacin de preorden total fuzzy.
COMENTARIOS FINALES
Las relaciones binarias fuzzy permiten mayor flexibilidad a los modelos y proporcionan una
informacin ms clara al decisor. Pueden considerarse una generalizacin de las relaciones binarias
ntidas, dado que stas resultan un caso particular. Existen diversas aplicaciones de las relaciones
binarias fuzzy a distintos campos de conocimiento, como por ejemplo medicina, biologa, psicologa,
economa y gestin.
BIBLIOGRAFA
Gil Aluja, J. Grafos neuronales para la economa y la gestin de las empresas. Editorial Pirmide,
Madrid, 1995.
Gil Aluja, J. Elementos para una teora de la decisin en la incertidumbre. Editorial Milladoiro, Vigo,
1999.
Gil Pelaez, L. Matemtica de las operaciones financieras. Editorial AC, Madrid, 1987.
Kaufmann, A. Introduction a la Theorie des Sous-Ensembles Flous a LUsage des Ingenieurs.
Masson, S.A., Paris, 1973.

Kaufmann A.; Gil Aluja J. Nuevas tcnicas para la direccin estratgica. Universidad de Barcelona,
Barcelona, 1993.
Klir, G.; Yuan; B. Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice-Hall PTR, New
Jersey, 1995.
Kreps, D.M. Curso de teora microeconmica. McGraw-Hill, Madrid, 1995.
Mas-Colell, A.; Whinston, M.D.; Greenn, J.R. Microeconomic Theory. Oxford University Press, Nueva
York, 1995.
Rojo, A. Algebra I. El Ateneo, Buenos Aires, 1972.
Varian, H.R. Anlisis microeconmico. Antoni Bosch Editor, S.A., Barcelona, 1992.
Zadeh, L. Similarity relations and fuzzy orderings. Information Sciences 3, pp.177-200, 1971.