A graded manifold of dimension is defined as a locally ringed space where is an -dimensional smooth manifold and is a -sheaf of Grassmann algebras of rank where is the sheaf of smooth real functions on . The sheaf is called the structure sheaf of the graded manifold , and the manifold is said to be the body of . Sections of the sheaf are called graded functions on a graded manifold . They make up a graded commutative -ring called the structure ring of . The well-known Batchelor theorem and Serre-Swan theorem characterize graded manifolds as follows.