满射）。胡列维茨同态由如下方式给定：设 formula_20 为标准生成元，那么胡列维茨映射将同伦类 formula_21 映射到 formula_22。
单纯集合版本.拓扑空间的胡列维茨定理对于"n"-连通、满足阚条件的单纯集合也有对应陈述。
有理胡列维茨定理.设 formula_1 为单连通拓扑空间，并对于所有 formula_24 满足 formula_25。那么胡列维茨映射对于 formula_27 为同构，且对于 formula_28 是