If f maps a discrete d-manifold G onto a (k+1)-partite complex P then H(G,f,P),the set of simplices x in G such that f(x) contains at least one facet in P defines a (d-k)-manifold.

翻译：若 f 将离散 d-流形 G 映射到 (k+1)-部复形 P 上，则 H(G,f,P)（即 G 中满足 f(x) 包含至少一个 P 中面的单形 x 的集合）定义了 (d-k)-流形。