性质 任意一个趋近于负无穷取 0,都趋近于正无穷的时候才取 1 分别对于 x, y 单调不减 分别对于 x 和 y 右连续 相容性:F(x2,y2)−F(x1,y2)−F(x2,y1)+F(x1,y1)≥0