下确界的等价定义1
发布人