1-4l(y) g(y) r4(x) 有限支集 minl u ( x )1-pB(y) 无限支集 4(x≠x)大HA→B(x≠x3,y) 0山AB(x≠x,y) inO,AB(x≠x',y) 取上界 g(y)=1-minO,HA→B(x≠x,y)1 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      ☆  ☆ 取上界：