提升模格的一些性质

引入了提升模格的概念,并证明了它的一些基本质。