Komplett varietet

Inom algebraisk geometri sägs en algebraisk varietet $X$ vara komplett om projektionen $X\times Y\rightarrow Y$ är en sluten avbildning för varje varietet $Y$.