设集合式B为度量空间（X,d)上的非空子集，若映射T:A→B，S:A→B满足S(Ao)包含于Bo,S(Ao)包含于T(Ao),且(A)(x,y)∈ A×B，d(Sx，Sy)≤d(Sx,S......