设y=-x,S_={-y|y},根据inf的定义,有两个条件需要满足:
(1)对任意的y,都有-yinfS_
稍作变形可得:
(1)对任意的y,都有y>=-infS_
(2)对任意的ε,必定存在一y使得y-ε