Une variété topologique est dite irréductible si toute sphère borde un boule.
Le fait que Rn ou Sn sont irréductibles n'est pas si trivial.