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

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

For an X=SpecAX=\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 SpecA\operatorname{Spec}A are precisely the of AA.

Examples

For SpecF\operatorname{Spec}F with FF a field, the unique point is closed. In Speck[x]\operatorname{Spec}k[x], the points (xa)(x-a) for aka\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.