数学中inf是下界的意思。在数学实验中，存在一个实数a和一个实数集合B，使得对∀x∈B，都有x≥a，则称a为B的下界（lowerbound）。
相反，在数学中，特别是在秩序理论中，在某些部分有序集合（K，≤）的子集S里面，大于或等于S的每个元素的K的那个元素，叫做上界。而下界被定义为K的元素小于或等于S的每个元素。
