Published online by Cambridge University Press: 24 October 2008
Let Bk, Mn, Np be manifolds in the category C = Top, Duff or PL. Define Mn and Np to be h-enclosable in Bk if (1) k = n + p + 1, (2) there are C-imbeddings i:Mn ⊆ Bk and j: Np ⊆ Bk with disjoint images and (3) there are de formation retractions of Bk − i(Mn) onto j(Np) and of Bk − j(NP) onto i(Mn). This is expressed as Bk = [Mn, NP/i, j] (mod C). The manifolds are trivially h-enclosable in Bk if, in addition, each manifold has a product tubular neighbourhood in the category C.