下确界

a的下确界命令集合S是最大下限在S的所有元素中。更严格地说，S的下确界小于或等于S的每个成员ε大于零S中有一个元素小于S的下确界加ε。