上确界的等价定义3
发布人