集合有下界的等价定义3
发布人