1-4l(y) 有限支集mn1(x)1-(y 无限支集 4(x≠x)水HA→B(x≠x,y) =0大A→B(x≠x’,y) min[0.,AB(x≠x’,y) 取上界 g-(y)=1-minO,A→B(x≠x2y)=11 1 1 (y)  B (x ) A   1 (y) − B min[ (x ),1 ( y)]  A −  B   ( y) B   y y 有限支集 无限支集 ( ) 1 min[ 0, ( , )] 1 0 min[ 0, ( , )] 0 ( , ) * ( ) ( , ) = −   = = =   =       → → → →  y x x y x x y x x y x x x x y B A B A B A B A A B      ☆  ☆ 取上界：