If infinity is being boundless then to make anything infinity have the bounds as unknown. A practical use is in Haskell's lazy evaluation. Although maybe I'm missing the point completely.