El teorema de contracción de Castelnuovo se utiliza en la teoría de clasificación de superficies algebraicas para construir un modelo mínimo para una superficie algebraica suave dada.
Más precisamente, si es una superficie proyectiva suave sobre , y es una curva (−1) sobre (lo que significa una curva racional suave con autointersecciones −1), entonces hay un morfismo de a otra superficie proyectiva principal tal que la curva se contrae hasta el punto , y además, este morfismo es un isomorfismo exterior (es decir, isomorfo con ).
Este morfismo de contracción a veces se denomina desinflar o contraer , que es lo contrario de inflar . También llamamos a tal curva una curva excepcional del primer tipo.