 Sections of the sheaf formula_5 are called graded functions on a graded manifold formula_2.They make up a graded commutative formula_16-ring formula_17 called the structure ring of formula_2.The well-known Batchelor theorem and Serre-Swan theorem characterize graded manifolds as follows.