CAPITUW
5
:
FUNGO
Nas
f
:
A
→
B
Sii
dom
(f)
=
A
y
rec
(f)
CB
.
•
REUAUON
ENTRE
DOS
CONJUNTO
S
OBSERVATION
230
•
NO
HAY
DOS
PARA
ORDEN
DDOS
DISTINTOS
CON
UN
NISMO
MEMENTO
COMO
Doa
.
Si
f
Es
UNA
FUNAN
ENTRE
DOS
CONJUNTO
S
A
y
BENTON
CES
PRIMER
COMPONENT
E
.
f
:
dom
(f)
→
B
.
•
UNA
REVAN
'
N
EN
HA
QUE
TODO
WOMEN
TO
DO
SO
DOMINO
ESTA
RETAUONDDO
Dog
Si
f
:
A
→
B
y
BC
C
,
ENTONCES
f
:
A
-
C
.
ON
EXACT
AMANTE
UN
MEMENTO
DE
SO
RECORRIDO
.
OPERA
Crowes
cow
FUNCWNES
.
DEAN
Krob
219
.
Proposition
232
Si
f
:
A
-
B
y
g
:
B
-
C
ENTONCA
ONA
FUNGO
'
N
ES
UNA
READ
'
N
EN
TA
QUE
CADA
ELE
MENTO
DA
DOMINO
go
f
:
A
-
C
.
ESTA
RETAUONADO
CON
ON
UNICO
FIE
MENTO
DEL
RE
CORRI
DO
.
OBSERVACD
'N
233
.
Si
f
:
A
-
B
Y
g
:
B
-
C
,
ENTONCES
NOTAUO
'N
220
(
a
,
C
)
E
(
go
f)
⇐
Ib
E
B
TAI
QUE
la
,
b)
E
f
y
f
es
FUNG
OW
Sii
Ha
Edom
(
ft
F
!
b
Erec
(
ft
(
(
a
,
b)
E
f
!
(
bid
Eg
Fb
E
B
TAL
QUE
flak
b
y
9lb
)
=
C
PARA
UNA
RETA
Coo
'N
CUALQUERA
f
ENTRE
DOS
CONJUNTO
's
⇐
g
(
fla
)
)
=
C
PARA
TODO
a
C-
A
fasfunaoiu
Sii
Ha
Edom
(f)
Vb
,
CE
rect
f)
(
(
la
,
b)
Ef
n
(
go
f)
(a)
=
91
Hall
(
a
,
c)
c-
f)
b
=
Cl
'
(
go
f)
(a)
Not
Aao
'N
222
flat
=
b
Sii
(
ai
b)
C-
f
.
f
g
A
-
B
-
C
•
USUAL
MENTO
NOS
REFERIMOS
A
flat
COMO
LA
IMAGEN
D8
A
CON
a
-
flat
-
g
(
f
(a)
)
RESPECT
0
Af
.
•
Im
(f)
=
{
flat
:
a
Edom
(
f
)
}
.
5.
I
TIPOSDEFUNCDNES
-
•
CUANDO
ARE
CORRI
DO
N
TODO
El
CONJUNTO
BENTON
CES
SE
1.
f
es
Function
Sii
Ha
,
be
domlflfa
-
-
b
flat
-
fl
b
)
)
!
DICE
QUE
f
ES
UNA
FUNGO
'
N
DE
A
SOBRE
B
O
QUE
f
:
A
-
B
#
as
SOBREYECTNA
.
"
LA
AND
i
Chin
DE
QUE
A
FUNGO
'
N
ESTE
BIEN
DEFINIDA
"
•
OMO
TODA
function
Guna
remain
,
Ei
axiom
are
#
⇐
us
,
waw
.
Don't
'Yo%Ty
:L
aus
!
EFFIE
:
A
-
B
DAD
ESTA
BLE
CE
QUE
DOS
FONG
ONES
f
y
g
SON
IGUALA
SI
TIENEN
WS
MISMOS
Paras
OVDENADOS
.
•
Por
HIPOTESIS
rec
Cftc
B
.
.
.
Bored
ft
PRO
post
Chin
224
SEAN
fyg
FUN
Clowes
.
ENTONCES
f
as
SOBREYECTNA
Sii
Vb
E
B
Fa
EA
,
flat
=
b
.
f-
=
g
s
,
y
sow
si
domtfl
=D
omfg
)
y
Fa
Edom
(
ft
,
f-
Ca
)
=
g
la
)
OBSERVAAO
'
N
238
:
PARA
DEMO
STRARSOBREYECTIVIDAD
Es
Sufi
-
GENTE
CON
EXHIBIR
CHAL
ES
El
ARGUMENT
O
D8
UN
ETE
MENTO
Not
AGIN
225
.
X
l
-
ft
x
)
PARA
IND
CAR
A
RE
GUA
DE
A-
SIGNA
-
ARBITRARIO
DEB
.
CNN
D8
A-
Function
f.
SEA
BE
BARBITRARIO
,
EXISTE
.
.
-
E
A
ESPE
Aflw
TAL
QUE
DEAN
IWW
227
f
f
-
-
I
=
b
.
UNA
FUNGO
'
N
D8
UN
CONJUNTO
A
EN
UN
CONJUNTO
B
ES
UNA
Fo
Nain
f
TAL
QUE
dom
(f)
=
A
y
rec
(f)
c
B
.
NOT
ACTON
228
:
f
:
A
→
B
f
UNA
FUNG
N
D8
A
EN
B
.
