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.

- Wikipedia,
*Complete variety*

Created on November 24, 2013 at 06:01:44. See the history of this page for a list of all contributions to it.