1

RELACIONES Y FUNCIONES
INTRODUCCION
A B
R1
a 1

b 2

c 3

Cuando manejamos esquemas de este tipo, solemos decir que se estableció una relación o
correspondencia entre los conjuntos A y B en donde 3 al elemento a le corresponde el 1 y
también el 3 y al elemento c le corresponde solamente el 3.
Al decir que al elemento a le corresponde el elemento 1 estamos haciendo entrar en juego
un par ordenado de elementos, el par (a,1). Nótese que no es lo mismo decir que a a le
corresponde el 1, que decir que a 1 le corresponde a.
Consideraciones similares hacen aparecer a los pares (a,3) y (c,3). No parece descabellado
entonces considerar:
R1   (a,1),(a,3),(c,3) 
Establezca un par de relaciones cualesquiera entre los mismos conjuntos A y B. ¿Las
consideraciones hechas sobre R1 puede realizarlas sobre las dos relaciones que acaba de
definir? En otras palabras ¿Puede considerarlas como conjunto de pares ordenados?

Definición
Consideramos A y B dos conjuntos cualesquiera. Decimos que R es una
relación de A en B si y solo si R es un conjunto de pares ordenados de primera componente
en A y segunda en B. Anotamos R : A  B En otras palabras:

R es una relación de A en B  R  A  B
Nota:
Consideramos R : A  B si ( x, y)  R decimos que y es imagen de x (según R) y
que x es preimagen de y (según R). Así por ejemplo ya que (a,1)  R1 diremos que a es
preimagen de 1 y que 1 es imagen de a. También puede expresarse que a x le corresponde y
(según R) o que y es correspondiente de x (según R).
Si ( x, y)  R podemos anotar: x  R
 y ó xRy .

1
 2

Definición
Sea R : A  B . Llamamos dominio de R al conjunto formado por los
elementos de A que tienen al menos una imagen en B (según R). En otras palabras el
dominio es el conjunto de las primeras componentes de los pares de R. Anotamos DR.
Sintéticamente:
DR   x  A / y  B ; ( x, y)  R 

Así por ejemplo DR1   a, c 

Denominamos recorrido de R al conjunto formado por los elementos de B que tienen al

menos una preimagen en A (según R). En otros términos el recorrido de R es el conjunto de
las segundas componentes de los pares que forman R. Anotamos RR . Sintéticamente:

RR   y  B /  x  A ; ( x, y)  R 

Así por ejemplo RR1   1,3  . Hallar el dominio y el recorrido de las relaciones por Ud.
definidas.

Definición
Consideramos una relación F : A  B Decimos que F es una función si y solo
si todo elemento de A tiene una y solo una imagen en B (según F)

Ejercicio:
Sean A   a, b, c  B    ,   y las siguientes relaciones de A en B
R   (a,  ),(a,  ),(b,  ),(c,  )  R   (a,  ),(b,  ),(c,  )  y R   (a,  ),(c,  ) 
Indicar cuáles de ellas son funciones y cuáles no. (Sugerimos realizar un diagrama para
cada una de las relaciones).

Seguramente ha llegado a la conclusión de que R y R’’ no son funciones por diferentes

motivos. Mientras que R no es una función debido a que a tiene dos imágenes (  y  ) , R
no lo es ya que b carece de imagen..
Observemos que si consideramos A*   a, c  en lugar de A , R es una función de
A*  B . Sin embargo no hay forma de que cambiando los conjuntos A ó B, R pase a ser
una función. En otras palabras si una relación no es una función porque hay algún
elemento del conjunto de partida que no tiene imagen, cambiando dicho conjunto
(eliminando de él aquellos elementos sin imagen) pasamos a tener una función. Ahora si no

2
 3

es función porque algún elemento del primer conjunto tiene más de una imagen, esto no
tiene “arreglo” sin alterar el conjunto de pares (la relación en si misma). Esta
“desprolijidad” de que R es función o no, dependiendo de quién sea el conjunto de
partida, puede superarse adoptando otra definición de relación. Concretamente
considerando a una relación R : A  B no solamente como un conjunto de pares
ordenados de primera componente en A y segunda en B, sino como la terna formada por el
conjunto de pares, A y B. Así con esta última definición al cambiar el conjunto A estamos
cambiando la relación. Más precisamente:

RELACIÓN O CORRESPONDENCIA

Definición
Llamamos gráfica a un conjunto de pares ordenados.
Si G es una gráfica llamamos primera proyección de G al conjunto formado por las
primeras componentes de los pares de G. Anotamos  prG 1  . Análogamente definimos

segunda proyección.

Definición
Consideramos A y B conjuntos. Llamamos relación o correspondencia de A en
B a una terna ordenada R   G, A, B  en donde G es una gráfica tal que G  A  B .
Se dice que G es la gráfica de R, A el conjunto de partida y B el conjunto de llegada o
codominio.

Nota
Si R es una relación de A en B anotamos R : A  B
Sea R   G, A, B  una relación de A en B. Si  x, y   G decimos que y es imagen de x
según R, también que a x le corresponde y, que x es preimagen de y etc. En otras palabras la
misma terminología ya presentada.

FUNCIÓN

Definición
  x, y   F  
Decimos que una gráfica F es una gráfica funcional     y  y 
  x, y    F  
  

3
 4

Definición
Consideramos f   F , A, B  una relación de A en B. Decimos que f es una
función de A en B si y solo si: 1) pr1F  A (El dominio coincide con el conjunto de partida)
2) F es una gráfica funcional.

En otras palabras la relación f   F , A, B  es una función si y solo si todo elemento de A

tiene una y solo una imagen según f.

Observación Sea f : A  B una relación

 i ) x  A  y  B / ( x, y )  F

  ( x, y )  F  
f es función    ( x, y )  F     
 ii )  ( x, y ')  F   y  y '    ( x ', y ')  F   x  x' 
     y  y'  
   

Nota
Volvamos al ejemplo. Siendo A   a, b, c  B    ,   A*   a, c  y la gráfica
R   (a,  ),(c,  )  Observemos que  R, A, B  no es función pero sí lo es  R, A , B 
Ahora se trata de dos ternas distintas ya que difieren en la segunda componente. Salvando
así la inconsistencia observada.

Nota: Consideramos g   G, ,   con G   ( x, y)  2 / y  x 2  Observemos que g es

una función de    . Abusando de los diagramas podemos esquematizar:

 
 
 

x x2

4
 5

A g la anotaremos mas brevemente g :    ; g ( x)  x 2 Así con esta notación

indicamos que la imagen de un x real cualquiera es x 2 . Por ejemplo si anotamos g (2)
hacemos referencia a la imagen de 2 según g y la calculamos g (2)  22  4 simplemente
sustituyendo x por 2 en g ( x)  x 2 .

En general si f   F , A, B  es una función y  x, y   f anotamos f ( x)  y

¿Por qué esta notación se utiliza exclusivamente para funciones y no para una relación
cualquiera?

Nota
Consideramos f : A  B función y H un subconjunto de A.
Anotamos f  H  al conjunto de las imágenes de los elementos de H.
Sintéticamente f  H    f ( x) / x  H 
Por ejemplo si g :    ; g ( x)  x 2 y denominamos H  1, 2,3, 4 entonces
g  H   1, 4,9,16

RESTRICCIONES Y EXTENSIONES DE UNA FUNCIÓN

También podemos considerar una nueva función t : H   ; t( x)  x 2 más precisamente

t 1,1 ,  2, 4 , 3,9 ,  4,16, 1, 2,3, 4,  
Esta nueva función, a cada elemento de H le hace corresponder la misma imagen que la
función g. A la función t la denominaremos restricción de g sobre H. En general:

Definición
Consideramos: f : A  B función, X  A, Y  B tal que f  X   Y
Llamamos restricción de f a X y a Y, a la función  F , X , Y  en donde F es la gráfica
F   x, f ( x)  / x  X  A esta nueva función la anotaremos f X , Y

Es habitual que Y  B y en este caso anotamos simplemente f X y la denominamos

restricción de f sobre X. Concretamente si anotamos f X convenimos que el codominio es
el mismo que el de la función original f.
5
 6

 
 f ( x)  0 si x  2
Ejemplo Consideramos f :   ;  

 f ( x )  1 si x  2
P el conjunto de los naturales pares.
H  0,1, 2
Entonces: f P es una función de dominio P que a todos los elementos del mismo le hace
corresponder la misma imagen (0)
f H  0,0 , 1,1 ,  2,0, H ,  
Definición
Consideramos f : A  B función
Si g es una restricción de f , diremos que f es una extensión de g a A y a B.

Cuando no interese poner en evidencia dominio y codominio de la función f, diremos

simplemente que f es una extensión de g. Si solo interesa el dominio A decimos que f es una
extensión de g a A.

Ejemplos Consideramos g : A  ; g ( x)  x  10 con A  0,1, 2

h( x)  x  10 si x  3
Las funciones f :   ; f ( x)  x  10 y h :   ;  son
h( x)  x si x  3
2

extensiones de g sobre  .

Observación
Una función f es una extensión de una función g si y solo si:
1) El dominio de f contiene al de g.
2) El codominio de f contiene al de g.
3) f ( x)  g ( x) x  Dg

CLASIFICACIÓN DE FUNCIONES

Para que una relación de A en B sea una función todo elemento de A debe cumplir dos
condiciones 1) debe tener imagen 2) dicha imagen debe ser única. Si condiciones similares
le exigimos a los elementos de B, esto da lugar a la clasificación habitual de funciones. Más
precisamente:
6
 7

Definición
Consideramos f : A  B una función. Diremos que:
1) f es sobreyectiva si y solo si todo elemento de B tiene preimagen.
2) f es inyectiva si y solo si los elementos de B que tienen preimagen, esta es
única.
3) f es biyectiva si y solo si es sobreyectiva e inyectiva a la vez.

Ejercicio:
Dar un ejemplo de: i) Una función biyectiva ii) Una función ni inyectiva ni
sobreyectiva iii) Una función inyectiva no sobreyectiva. iv) Una función sobreyectiva no
inyectiva.
En cada uno de los casos anteriores. ¿Observa alguna vinculación entre la
cantidad de elementos del conjunto de partida y el de llegada?

Observación
Consideramos f : A  B
1) f es sobreyectiva  y  B x  A / f ( x)  y  R f  B
En otras palabras una función es sobreyectiva si y solo si el recorrido coincide con
el codominio.
 f ( x)  y  
2) f es inyectiva     y  y    x  x  f ( x)  f ( x) 
 f ( x)  y 
Para decirlo de otra manera. Una función es inyectiva si y solo si a elementos distintos hace
corresponder imágenes distintas.

Ejercicios Probar: 1) f :   ; f ( x)  ax  b  a, b  , a  0 es biyectiva.

2) g :   ; g ( x)  x 2 no es ni inyectiva ni sobreyectiva.
3) g   ,   es biyectiva.

RELACIÓN INVERSA – FUNCIÓN INVERSA

Definición
Sea G una gráfica. Llamamos gráfica inversa de G (anotamos G 1 )
G 1   y, x  /  x, y   G

Ejemplos 1) Si G  1, 2  ,  3,5 ,  7,10   G 1   2,1 , 5,3 , 10,7 

7
 8

2) Si G   x, y   2 / y  2 x   x, 2 x  / x    G 1   , y  / y  
y
2

Definición
Consideramos R   G, A, B  una relación de A en B.
Llamamos relación inversa de R a la relación R 1   G 1 , B, A
Ejemplo
Consideramos A  a, b, c , B   ,  ,   , F   a,   ,  b,   ,  c,   y f   F , A, B 
Entonces F 1   , a  ,  , b  ,  , c  y f 1   F 1 , B, A
Observemos que f es función pero f 1 no lo es. Es razonable cuestionarse qué condiciones
debe cumplir una función para que su inversa también lo sea. ¿Qué opina?

Teorema
f : A  B función.
f 1 : B  A es función  f es biyectiva

Dem.  Llamemos F a la gráfica de f. Entonces f 1   F 1 , B, A

Si f 1 es función  D f 1  B pero D f 1  R f  Rf  B 
 f es sobreyectiva
Por otra parte si f ( x)  f ( x) como f 1 es función podemos afirmar que
f 1  f ( x)   f 1  f ( x)   x  x Con lo cual f es inyectiva

  Ahora partimos de la hipótesis de f biyectiva  f sobreyectiva  R f  B

Como R f  D f 1  D f 1  B

Ahora si  y, x   F 1   y, x  F 1   x, y   F   x, y   F

Teniendo en cuenta que f es inyectiva podemos afirmar que x  x
Así que:  y, x   F 1   y, x   F 1  x  x

De ambas proposiciones subrayadas se concluye que f 1 : B  A es una función.

Nota f 
1 1
 f Entonces si f : A  B es una función biyectiva, f 1 : B  A también
es una función biyectiva.

8
 9

RELACIÓN COMPUESTA – FUNCIÓN COMPUESTA

A B C
Consideramos:
R1 R2
 1
a

b 
c 2



3

Si nos piden una relación R3 : A  C a partir de R1 y R2 seguramente la primera

4 relación
que se nos ocurre es:
A C
R3
a 1

b
c 2
c

A esta nueva relación (nos referimos a R3 ) la denominaremos

3 relación compuesta de R1
con R2 Intentemos generalizarlo.

Definición 4
Consideramos G1 y G2 gráficas tales que pr2G1  prG
1 2   . Llamamos grafica

compuesta de G1 y G2 (anotamos G2  G1 ) G2  G1   x, z  / y;  x, y   G1   y, z   G2 

En el caso particular con el que empezamos A  a, b, c , B   ,  ,  ,   , C  1, 2

G1   a,   ,  a,   ,  b,   ,  c,  , G2   ,1 ,  , 2  ,  , 2 , R1  G1, A, B  ,
R2   G2 , B, C  tenemos que G2  G1   a,1 ,  c, 2 

9
 10

Definición
Consideramos las relaciones R1   G1 , A, B  y R2   G2 , C, D  tal que
pr2G1  prG
1 2 . Llamamos relación compuesta de R1 con R2 (anotamos R2  R1 )

a la relación R2  R1   G2  G1 , A, D 

Teorema
f : A  B función 

g : C  D función   g  f : A  D es función
R f  Dg 

Dem.
Como f : A  B es función, x  A, y  B único /  x, y   G f G f gráfico de f 
Teniendo en cuenta que g : C  D también es función y que y  R f  Dg  C podemos
afirmar que z  D único /  y, z   Gg .
Por lo tanto x  A, z  D único /  x, z   Gg  G f De donde g  f   Gg  G f , A, D  es
una función, a la que denominaremos función compuesta de f con g.

Nota
Si  x, y   G f anotamos f ( x)  y , como  y, z   Gg tenemos que g ( y)  z
Ya que  x, z   Gg  G f podemos afirmar que g  f ( x)  z Ahora z  g ( y)  g  f ( x) 

Así que g  f ( x)  g  f ( x)  justificando de alguna forma el porqué escribimos la

composición “al revés” de cómo se hace.
A partir de esta nota podríamos definir función compuesta sin antes hablar de relación
compuesta de la siguiente manera:
Consideramos: f : A  B función , g : C  D función tal que R f  Dg . Llamamos función
compuesta de f con g (anotamos g  f ) g  f : A  D; g  f ( x)  g  f ( x) 

Ejercicios Consideramos las funciones f : A  B y g : B  C . Probar:

1) Si f y g son inyectivas  g  f : A  C es inyectiva.
2) Si f y g son sobreyectivas  g  f : A  C es sobreyectiva.
3) Si f y g son biyectivas  g  f : A  C es biyectiva.
g  f  g  f 
1 1
4) f y g son biyectivas  : AC y  f 1  g 1

10
 11

5)  f  g   h  f   g  h siendo h : C  D también una función

6) La función Id A : A  A; Id A ( x)  x es biyectiva. A esta función la
denominamos función identidad de A.
7) Si f es biyectiva  f  f 1  Id B y f 1  f  Id A

RELACIONES DE EQUIVALENCIA

Definición
Consideramos A un conjunto no vacío y R una relación definida en A
( R : A  A ) Decimos que R es una relación de equivalencia si y solo si cumple:

1) Idéntica xRx x  A “todo elemento está relacionado consigo mismo”

2) Recíproca Si xRy  yRx “Si x está relacionado con y necesariamente y lo
está con x”
xRy 
3) Transitiva   xRz
yRz 

Una idea restringida de la “igualdad” es la igualdad como identidad. En otras palabras: dos
elementos son iguales si y solo si son el mismo elemento. Sin embargo habitualmente
utilizamos un concepto más amplio de la igualdad. Por ejemplo decimos que dos segmentos
son iguales sin que sean necesariamente el mismo segmento; el mismo conjunto de puntos.
Justamente la necesidad formal de manejar una idea más amplia de la igualdad que la
igualdad como identidad fue la que llevo a la definición de relación de equivalencia. La
idea utilizada para tal ampliación fue rescatar las características esenciales que debe
cumplir una relación para ser una “igualdad”. Todo elemento debe ser “igual a si mismo”
(idéntica). Si x es “igual” a y necesariamente y tiene que ser “igual” a x (recíproca). Si x es
“igual” a y e y es “igual” a z entonces x es “igual” a z (transitiva).
El lector verificará fácilmente que la relación tener la misma edad o calzar el mismo
número de zapatos definida en un conjunto de personas es una relación de equivalencia.
Veamos ahora algunos ejemplos de relaciones de equivalencia entre objetos matemáticos.


Ejemplo Consideramos R1 :    ; x R1 y  x  y  2 Demostremos que R1 es una
relación de equivalencia. Para ello debemos probar que R1 cumple:

1) Idéntica x R1 x x  Como x  x  0  2 x    x R1 x x  

11
 12

 
2) Recíproca x R1 y  y R1 x Si x R1 y  x  y  2  y  x  ( x  y )  2  y R1x
3) Transitiva x R1 y  y R1 z  x R1z


x R1 y  x y 2  

 
 ( x  y)  ( y  z )  x  y  y  z  x  z  2  x R1 z
y R1 z  yz 2 

Ejercicio Llamemos  al conjunto de todas las rectas del plano.

Definimos R2 :    tal que r R2 s  r  s (Dos rectas están relacionadas si y solo si
son paralelas) Nos referimos en este caso al paralelismo amplio; o sea consideramos que
dos rectas de un mismo plano son paralelas si y solo si coinciden o su intersección es vacía.
Verificar que R2 es una relación de equivalencia.

Nota A las relaciones de equivalencia se les suele anotar  o  en lugar de R .

Definición
Consideramos R : A  A una relación de equivalencia y a  A . Llamamos
clase de equivalencia de a (anotamos  a  ) al conjunto formado por todos los elementos
de A que están relacionados con a.
a   x  A / x R a 

 

Así en el ejemplo  0   x   / x R1 0   x   / x  0  2  x   / x  2



   
 
1   x   / x R11  x   / x 1  2  x   / x  2

   
 
 2   x   / x R1 2  x   / x  2  2  x   / x  2  0

    
 
3   x   / x R1 3  x / x 3  2  x / x  2  1

 4  0 , 5  1 etc. Tenemos pues solo dos clases de equivalencia distintas.  0 el
conjunto formado por todos los enteros pares y 1 el conjunto formado por todos los
impares. R1 clasifica a los enteros en pares e impares.

12
 13

Si llamamos r a una recta de  r    x  ; x R2r    x  ; x  r  En otras palabras

la clase de equivalencia de r es el conjunto de todas las rectas del plano paralelas a r.
A  r  se le denomina dirección de r.

Nota
Consideramos R : A  A una relación de equivalencia, a, b  A

 x   a   xRa como aRb y R cumple transitiva  xRb  x  b 


Si aRb  
x  b  xRb como aRb y por lo tanto bRa  xRa  x   a 

Así que en caso de que aRb   a   b 
Recíprocamente si  a  b teniendo en cuenta que aRa y por lo tanto a   a   a  b  aRb

Por lo tanto  a   b   aRb

Nota
Consideramos A  a, b, c, d  , G   a, a  ,  b, b  ,  c, c  ,  d , d  , b, c  ,  c, d 
y la relación R3   G, A, A El lector podrá verificar que se trata de una relación de
equivalencia y además a  a , b  c  b, c y d   d . Es natural considerar el
conjunto formado por las clases de equivalencia, en este caso a ,b, c ,d al que
denominaremos conjunto cociente. Más precisamente:

Definición
Consideramos R : A  A una relación de equivalencia. Denominamos conjunto
cociente de A por R al conjunto formado por todas las clases de equivalencia de los
elementos de A. Conjunto que anotamos A
R
A   a   P( A) / a  A
R
Por ejemplo    0 , 1
R1

13
 14

Observación
Consideramos R : A  A una relación de equivalencia y A el conjunto
R
cociente. Observemos: que 1) todo elemento de A (que es una clase de equivalencia) es
R
no vacío  a   a  2) Los elementos de A son disjuntos dos a dos (pues dos clases de
R
equivalencia si tienen un elemento en común, necesariamente coinciden) 3) La uníon de
 
todos los elementos de A es A  a  A, a   a   a    x  
R   xA R 
 
Cualquier familia de conjuntos que cumpla estas tres condiciones se llama partición de A .

Definición
Consideramos: A un conjunto y   P( A)
  un conjunto cuyos elementos son subconjuntos de A
Decimos que  es una partición de A si y solo si se cumple:
1) X i   X i 
2) X i  X j   X i , X j  tal que X i  X j
3) X
X i 
i =A

Por lo observado anteriormente parecería razonable:

Teorema
Si R : A  A es una relación de equivalencia  A es una partición de A
R
Dem
Ahora: A   a   P( A) / a  A
R
1) aRa a  A  a   a  a  A  a   a  A
R
2) Si  a   b   a   b   
c   a   cRa  aRc

Pues si  a   b    c   a   b     aRb   a   b 

 c   b   cRb

3) Es inmediato que   x   A ya que  x   A   x   A

R
A  x R

14
 15

Nos falta demostrar que A    x

 xA R

a  A, aRa  a  A, a   a   a    x a  A
 xA R

Con lo cual se concluye la demostración.

Ejercicio Consideramos A  1, 2,3, 4,5 i) Construya  partición de A.

ii) Sea R : A  A : xRy  x e y pertenecen al mismo elemento de  . Pruebe que R es
de equivalencia.

Teorema
 A un conjunto no vacio

H)  una partición de A
 R : A  A : xRy  X   / x  X  y  X
 i i i

T) R : A  A es de equivalencia

Dem
Idéntica xRx x  A
Como  es una partición de A  A X
X i 
i

Entonces x  A necesariamente x  X
X i 
i 

 X k  / x  X k  xRx x  A

Recíproca xRy  yRx

xRy  X i   / x  X i  y  X i 
 X i   / y  X i  x  X i  yRx

Transitiva xRy  yRz  xRz

xRy  X i  / x  X i  y  X i
yRz  X j  / y  X j  z  X j
Por lo tanto y  X i  X j  X i  X j   . Teniendo en cuenta

15
 16

que X i e X j son elementos de una partición, no pueden ser elementos distintos. Así que
X i  X j . En consecuencia X i  X j  / x  X i  z  X i  xRz

RELACIONES DE ORDEN

De la misma manera que presentamos las relaciones de equivalencia como una

generalización de la igualdad, ahora intentaremos generalizar las relaciones < y  .
Concretamente:

Definición
Consideramos una relación R : A  A .
Decimos que R es una relación orden estricto en A si y solo si verifica:
Inidéntica xRx x  A “Ningún elemento está relacionado con si mismo”
Asimétrica Si xRy  yRx
Transitiva Si xRy  yRz  xRz

Ejercicios
Probar que i) R1 :    : xR1 y  x  y
ii) R2 : P( A)  P( A) : XR2Y  X  Y
Son relaciones de orden estricto.

Definición
Consideramos una relación R : A  A .
Decimos que R es una relación orden amplio en A si y solo si verifica:
Idéntica xRx x  A
Antimétrica Si xRy  yRx  x  y
Transitiva Si xRy  yRz  xRz

Ejercicios
Probar que i) R3 :    : xR3 y  x  y
ii) R4 : P( A)  P( A) : XR4Y  X  Y

iii) R5 :    : xR5 y  x  y
Son relaciones de orden amplio.

16
 17

Definición
Sean: R : A  A una relación de orden estricto o amplio
a, b  A
Decimos que a y b son comparables por R si y solo si aRb  bRa

Definición
Sea R : A  A una relación de orden estricto o amplio.
Decimos que R es de orden total si y solo si todo par de elementos distintos de
A es comparable.
R es de orden total  a, b  A; a  b necesariamente aRb  bRa

Ejercicios
Analizar si R1 , R2 , R3 , R4 y R5 son o no relaciones de orden total.

Material consultado para la elaboración de estas notas:

“Relaciones definidas en un conjunto” Gustavo Franco. Fundamentos 2010
“Introducción a la teoría de conjuntos” Lia Oubiñas. EUDEBA 1976

Abril del 2012 Responsable: Daniel Siberio

17