Ax B =

{ Cx , y) XEA ^ y EB } A =
B AEB BEA

Ax C B- C) =
CA × B) -

CA C) ×

[ |
-

< > Ax CB -
C) C
CAX B) -

CA × c) ] ^
-
CAX B) -

CAX C) C A × (B- C)

1 C
แสดง า A × (B- C) CAX B) CA C)
-

< > tcx, y ) EU × U ,

(X , y ) EA × ( B- c) >
( X , y ) ECA × B) -

CAX C)

(× า 9) EAXB ^ (× , y ) ¢ Axc

XEA และ y EC
Pf .
ห บ แ ละ CX , y ) EUXU

สมม CX , y ) EA × CB -

c)

จะ ไ า XEA และ y E B- C

เ องจาก yE B- C

จะ ไ า y EB และ y¢ c

เ อง จาก CXEA และ y E B) และ CXEA และ y ¢ c)

จะไ นา (X , y ) EA × B และ Cmy ) € CA C) ×

ง น CXDECAX B) -

CAX C)
สำ
ว่
ว่
ว่
นั้
ดั
นื่
นื่
ด้
ด้
ด้
ต่
รั
ติ
 2 แสดง า CA × B)
-

CA × c) CA × ( B- C)

< > KCX y ), GUXU ,

CX , y ) ECAX B) -

CAX C) >
Cmy ) EA × CB -
C)
XEA ^ y EB -

XEA ^ yEB ^ y¢C

Pf .
ห บ แ ละ CX , y ) EU × U

สมม CX , g) ECA × B) -

CA × C)

จะไ า CX , y ) ECA × B) และ CX , y ) € CA × C)

ง น CXEA และ y E B) และ (X , y ) € CAXC )

เ องจาก CX , g) € A ✗ [

จะ ไ า ✗ € A และ y EC

เ องจาก XEA และ ( y EB และ y € C)

ไ
จะ า XEA และ
y E B- C

ง น (× y ,
) EA × ( B- C)
สำ
ว่
นั้
ดั
ว่
ว่
นั้
ดั
ว่
นื่
นื่
ด้
ด้
ด้
ต่
รั
ติ
 Pf . สมม f ะ A →
13,9 :B → c เ น function 1-
1,0 nto

ไ เ น function
"
f
"
จะ า :B → A
, g :c → B 1- า
,
onto

เ น function
"
เ อง จาก
"

ftog Cgo f) -1,0 nto

=
า

เ น ง น จาก
"
ง น (90 f) C → A

Eg }
gof =
{ Cx y ) ]z (× 2) EF, n CZ , y )
, ,

"

Cgof ) =
{ Ly , ×) ]z Cx
, 2) Ef ^ CZ , g) Eg }
,

" "
}
" "
f og =
{ CX , y)
-

z Eg ^ Cz , g) Ef
"
] z Eg }
" "
f og ) Ef
"
=
{ Cy ,
× ) ^ CZ , ×

"

f 0g " "
=
{ Cy ,
×) ] 2 Eg ^ ( × , 2) EF }
"

=
( go f)
ว่
นั้
ดั
ฟั
นื่
ป็
ป็
ป็
ป็
ด้
ก์
ชั
ติ
 Pf .
สมม f : A → B เ น ง น 1- 1,0 nto

ไ
จะ นา ft :B → A

เ อง จาก F : A→ B และ f "

:B → A

ไ f
"
จะ า of :B > B

อง แสดง า
"
F of IB ty EB (f
'
IBCy )
'

= >
,
o f) (g)
= =
y

ห บแ ละ y EB

เ อง จาก f : A→ B เ น function

จะ ไ า จะ XEA ใ Cx , y ) EF

เ องจาก C ✗ y) Ef > × =
fcy ) A
,

จะ ไ นา (× , y ) Ef
"
>
y
=
f
"
(× > **

ง น f
"
f
"
( f- lo f) y =
( fcy ) ) (✗ ) y
=
IB (g)
ฟั
สำ
ว่
ต้
ว่
ที่ทำ
มี
ว่
ษึ
คฺ
นั้
ดั
นื่
นื่
ป็
นื่
ป็
ด้
ด้
ด้
ด้
ต่
ห้
ก์
รั
ชั
ติ
 Pf .
สมม w EA และ XEA

จะ แสดง า f ( พก ✗ ) C fcw ) ก f (× )

สมม y Ef ( พก ×)

จะ ไ า
y Efcw ) และ
y Efcx )

เ องจาก y
Efcw)

จะไ า EW ไ
จะ =
fca )
a
y

เ องจาก y Efcx )

จะ ไ นา b EX จะ ไ
y
=
f (b)

เ อง จาก 9 EW

ไ
จะ า y € Fcw)

เ อง จาก b EX

จะไ า y EFCX )

ง น y Efcw) ก fcx )
ว่
ว่
ว่
ว่
นั้
ดั
ว่
นื่
นื่
นื่
นื่
ด้
ด้
ด้
ด้
ด้
ด้
ด้
ติ
ติ
 Pf .
อง แสดง า f" ( YU 2) =
f
"
(Y ) Uf " (2)

"
สมม XEF ( YU 2)

เ องจาก Fcx ) E YUZ

ไ
จะ นา Fcn EY ห อ fc ×7 EZ

เ องจาก XE f
"
(Y ) ห อ XEF
"
(2)

จะ ไ นา XEF " (Y ) U f
"
(2)

"
ง น f ( Y ) Uf " (2)
ว่
ต้
นั้
ดั
นื่
นื่
ด้
ด้
รื
รื
ติ