令例:F→q ◆例:{p}Fp→>q ◆引理20.2: ◆()若q∈Ded(A),则必存在A的有限子 集A',使得q∈Ded(A') ◆(i)Ded在P(X)满足 A∈Ded(A) 若AcA2,则Ded(1)Ded(A2) Ded ded(a)=ded(a) 例:┝F→q 例:{p}┝p→q 引理20.2: (i)若qDed(A),则必存在A的有限子 集A',使得qDed(A')。 (ii) Ded在P(X)满足 ADed(A) 若A1A2 ,则Ded(A1 ) Ded(A2 ) Ded(Ded(A))=Ded(A)