Projective algebraic variety
Definition
A projective algebraic variety (or simply projective variety) is an irreducible closed subset of the projective space over a field, equipped with the Zariski topology.
We often assume that the underlying field is algebraically closed.