口对每个变量单调不减 固定x,对任意的y1y2,F(x1)≤F(xy2) 固定y,对任意的x1<x2,F(x1y)≤F(x23y) 口对每个变量左连续 F(x0,y0)=F(x-0,y0) F(x0,y0)=F( 对于任意的a<b,c<d b F(6, d) -F(b, c)-F(a, d)+ F(a, c)20 事实上F(b,d)-F(bc)-F(a,d)+F(a,c) P(a≤X<b,c≤Y<d)固定 x ，对任意的 y1< y2 , F (x,y1 )  F (x,y2 ) 固定 y ，对任意的 x1< x2 , F (x1 ,y)  F (x2 ,y) F (x0 , y0 ) = F (x0 -0 , y0 ) F (x0 , y0 ) = F (x0 , y0 - 0) F (b,d) – F (b,c) – F (a,d) + F (a,c)  0 事实上 F (b,d) – F (b,c) – F (a,d) + F (a,c) = P (a  X < b , c  Y < d) a b c d 对每个变量单调不减 对每个变量左连续 对于任意的a < b , c < d ❑ ❑ ❑