Critical point set is closed

From Diffgeom

This article gives the statement and possibly proof of a theorem that discusses regular values, critical values, regular points or critical points of a smooth map between differential manifolds

Statement

Let be a smooth map of differential manifolds. Then, the set of critical points of is a closed subset of ; equivalently, the set of regular points of is an open subset of .