Closed point

Last updated

#REDIRECT Zariski topology