AA QQ QQ

(1)

"!#$%&(')+*, &

-.0/213546.7328:9;=<?>@2.BAC8D@BEGF59

46;=HI3KJLM@ONB>P37Q6IR@21TSU9;V<2WX@2<Y<

ZR[O\0] &^G ZR_R_R`

AAAA

AA QQ QQ

acbPdBegf7hijhlk

mn7o(prq2s2tuvp5wVxOyzy

{

q?|jtxpP}Mmn~m X

A

B

^')

C

^{G !#} ^\ "*, R

(i) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

(ii) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

^\

{

q?|jtxpP}mn

U

V

U ₁

V ₁

A

^')

B

^!T$

U ⊂ A

V ⊂ A

U ₁ ⊂ B

^')

V 1 ⊂ B

^{\^}

f : A −→ B

^{D )O'} ^\ "*, R

(i) f (U ∩ V ) ⊂ f (U ) ∩ f (V )

(ii) f (A \ U ) ⊃ f (A) \ f (U )

(iii) f ⁻ ¹ (U ₁ ∩ V ₁ ) = f ⁻ ¹ (U ₁ ) ∩ f ⁻ ¹ (V ₁ )

(iv) f ⁻¹ (B \ U ₁ ) = A \ f ⁻¹ (U ₁ )

^\

}7s5yvVGsmn~mz

X

VG",,Y ¡¢¤£R¥¦^§¨%,,©£

X

¥«ªgDc,¬®V®¯±°0=®²¨%,

©³£

X

?´0¡µ7=¯ª%¨~¥

P(X )

^¶ §³¡·¸G¥¦

{ q?|jtxpP}Mmn ¹ z$$º"*,

P(P(P( ∅ )))

^\

}7s5yvVGsmn» Dg¼

¶¶

V®½ª¾^,

id _A : A −→ A

^¿

x 7−→ x

A

{ q?|jtxpP}ÃmnÄ *^

A

^')

B

^{z ±!#} ^¤

f : A −→ B

^')

g : B −→ A

^½Å

)O'Æ$

g ◦ f = id _A

^\Ç ^#*, ⁾

f

^È&,±')

g

' ~ÈÉ&^Ê

\

AA QQ QQ

AAAA

AA QQ QQ

A

B

C

(i) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

(ii) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

U

V

U 1

V 1

A

B

U ⊂ A

V ⊂ A

U 1 ⊂ B

V 1 ⊂ B

f : A −→ B

(i) f (U ∩ V ) ⊂ f (U ) ∩ f (V )

(ii) f (A \ U ) ⊃ f (A) \ f (U )

(iii) f − 1 (U 1 ∩ V 1 ) = f − 1 (U 1 ) ∩ f − 1 (V 1 )

(iv) f −1 (B \ U 1 ) = A \ f −1 (U 1 )

X

X

X

P(X )

P(P(P( ∅ )))

id A : A −→ A

x 7−→ x

A

A

B

f : A −→ B

g : B −→ A

g ◦ f = id A

f

g

U ₁

V ₁

U ₁ ⊂ B

(iii) f ⁻ ¹ (U ₁ ∩ V ₁ ) = f ⁻ ¹ (U ₁ ) ∩ f ⁻ ¹ (V ₁ )

(iv) f ⁻¹ (B \ U ₁ ) = A \ f ⁻¹ (U ₁ )

id _A : A −→ A

g ◦ f = id _A