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