ABSTRACT
V ′ = V ∪ F, G′ = (⋃G∈G HG) ∪ {F}, B′ = B⋃(⋃G∈G BG) . 5.20 Theorem If there exist a (k, λ1)-frame of type gu and an RTDλ2(k,m), then there
exists a (k, λ1λ2)-frame of type (mg)u.
5.21 A (k, λ) incomplete frame of type T is a (k, λ)-IGDD (V,G,H,B) of type T such that (1) the collection of blocks B can be partitioned into a collection P of partial
resolution classes, and (2) each P ∈ P contains either
(a) every point of V \G exactly once for some G ∈ G or (b) every point of V \ (G ∪ {H : H ∈ H}) exactly once for some G ∈ G.
