Inom algebraisk geometri sägs en algebraisk varietet X {\displaystyle X} vara komplett om projektionen X × × --> Y → → --> Y {\displaystyle X\times Y\rightarrow Y} är en sluten avbildning för varje varietet Y {\displaystyle Y} .