Source : Free On-Line Dictionary of Computing

infimum
     
        {greatest lower bound}