Contractive Mapping Theorem by a Order-Mapping Defined on Order-Complete Vector Lattice

• 序完备向量格上序-映射引入的压缩映射原理