Definition Let f:M→N a smooth map between manifolds. A point y∈f(M) is a regular value if every x∈f−1(y) is a regular point, that is, dfx:TxM→TyN is surjective. ◼
Related: preimage theorem.