( ) (2011/07/22) 1 1.1 : ◦ . ◦ . : ◦ . ◦ . ◦ . 1.2 : : ◦ b : { } → {A, B, O, AB}, ◦ b(x) := [x ]. ( 1): ◦ x0 : ( b(x0) ), ◦ x1 : , ◦ b(x0) , b(x1) ⇒ x0 , x1. ( 2): ◦ b(x) x ( : b(x) = A ⇒ x ). ◦ : , . 2 2.1 : ◦ X, Y : , ◦ ∼ : X . : ◦ f : X → Y ( ∼ ) :⇔ ∀x1, x2 ∈ X, “x1 ∼ x2 ⇒ f(x1) = f(x2)”. (i.e., e f : X/ ∼→ Y well-defined.) 2.2 : ◦ X ( : ), ◦ Y ( : {A, B, O, AB}), ◦ : X , Y . : ◦ ( 1) f(x1) , f