Inom algebraisk geometri sägs en algebraisk varietet vara komplett om projektionen är en sluten avbildning för varje varietet .