性质

任意一个趋近于负无穷取 0,都趋近于正无穷的时候才取 1

分别对于 x, y 单调不减

分别对于 x 和 y 右连续

相容性: