令例:F→q ◆例:{p}Fp→>q ◆引理182: ◆()若q∈Ded(A),则必存在A的有限子 集A',使得q∈Ded(A') ◆(i)Ded在P(X)满足 AcEd(A) 若AcA2,则Ded(1)Ded(A2) Ded ded(a)=ded(a) 例：┝F→q  例：{p}┝p→q  引理18.2:  (i)若qDed(A)，则必存在A的有限子 集A'，使得qDed(A')。  (ii) Ded在P(X)满足  ADed(A)  若A1A2 ,则Ded(A1 ) Ded(A2 )  Ded(Ded(A))=Ded(A)