Let XX be a and ZXZ\subseteq X an . A point ηZ\eta\in Z is a generic point of ZZ if

{η}=Z.\overline{\{\eta\}}=Z.

Every irreducible closed subset of a scheme has a unique generic point.

Example

If AA is an , the (0)(0) is the generic point of SpecA\operatorname{Spec}A, because its closure is the entire . Thus the point (0)(0) in Speck[x]\operatorname{Spec}k[x] records properties holding away from every proper algebraic condition; it is not a missing numerical value of xx.

Remark

A generic point is an actual point of the Zariski topological space, not a probabilistically typical point or a metric limit point. It need not be closed.