A point xx of a XX is a closed point if its singleton is closed:

{x}‾={x}.\overline{\{x\}}=\{x\}.

For an X=Spec⁡AX=\operatorname{Spec}A, the point corresponding to a p\mathfrak p is closed if and only if p\mathfrak p is maximal. Thus the closed points of Spec⁡A\operatorname{Spec}A are precisely the of AA.

Examples

For Spec⁡F\operatorname{Spec}F with FF a field, the unique point is closed. In Spec⁡k[x]\operatorname{Spec}k[x], the points (x−a)(x-a) for a∈ka\in k are the familiar geometric points when kk is algebraically closed, while (0)(0) is the and is not closed.

Remarks

If XX is of finite type over an kk, its closed points have kk and correspond to the classical geometric points described by coordinates.