数集有上界的等价定义1
发布人