nLab complete algebraic variety

Idea

An algebraic variety $X$ is called complete if for every algebraic variety $Y$ the projection

$$X \times Y \longrightarrow Y$$

out of their Cartesian product is a closed map.

This is an algebraic analog of being a compact topological space.

References

• Wikipedia, Complete variety