Source : Free On-Line Dictionary of Computing

supremum
     
        {least upper bound}