3. 2Q
Q F : 2Q → 2Q
F ¸ X ⊆Y F (X ) ⊆ F (Y )
X,Y ⊆ Q
X ⊆Q F ¸
F (X ) = X
¸ Q = {q0 , q1}¸ F (Y ) = Y ∪ {q0 }
F
{q0 } ´ µ
{q0 , q1 } ´ µ
¿»½
4. þ
n+1 ¹ Q = {q0 , q1 , . . . , qn }
F : → 2Q
F n+1 (∅) 2Q ¸
F F n+1 (Q) ¸ ¸
F i (X ) = F (F (. . . F (X ) . . . ))
i
∅ ⊆ F (∅) ¸ ¸´ µ F (∅) ⊆ F (F (∅))º
¸
∅ ⊆ F 1 (∅) ⊆ F 2 (∅) ⊆ · · · ⊆ F n+1 (∅)
¸
∅ F 1 (∅) F 2 (∅) ··· F n+1 (∅)
¸ Q n+1 º
¸ i: F i (∅) = F i +1 (∅) = · · · = F n+1 (∅)
»½
5. þ
n+1 ¹ Q = {q0 , q1 , . . . , qn }
¸
F : 2Q → 2Q F n+1 (∅)
¸F F n+1 (Q) ¸
F i (X ) = F (F (. . . F (X ) . . . ))
i
¸ X ⊆ Q : F (X ) = X º
¸ ∅ ⊆ X¸ ¸ F (∅) ⊆ F (X ) = X º
¸F n+1 (∅) ⊆ F (X ) = X ¸ º º¸ F n+1 (∅)
»½
6. þ
n+1 ¹ Q = {q0 , q1 , . . . , qn }
¸
F : 2Q → 2Q F n+1 (∅)
¸F F n+1 (Q) ¸
F i (X ) = F (F (. . . F (X ) . . . ))
i
ü ¸ F n+1 (Q)
º
»½