En la topología, una 4-variedad es una variedad topológica de 4 dimensiones.