Isn't required that the atlas in (ii) be maximal, but a such atlas can be extended to a maximal atlas preserving the property, namely the maximal atlas defining the smooth structure.
Isn't required that the atlas in (ii) be maximal, but a such atlas can be extended to a maximal atlas preserving the property, namely the maximal atlas defining the smooth structure.