Castelnuovos kontraktionssats används i klassificeringsteorin för algebraiska ytor för att konstruera en minimal modell för en given slät algebraisk yta.
Mer exakt, om är en slät projektiv yta över , och är en (−1) -kurva på (vilket betyder en jämn rationell kurva med självskärningar −1), så finns det en morfism från till en annan huvudsaklig projektiv yta så att kurvan drar ihop sig till punkten , och dessutom är denna morfism en isomorfism utanför (det vill säga isomorf med ).
Denna sammandragningsmorfism kallas ibland för att tömma eller dra ihop sig , vilket är motsatsen till att blåsa upp . Vi kallar också en sådan kurva för en exceptionell kurva av det första slaget.