• FooBarrington@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      1 year ago

      You mean this one?

      The projectively extended real number line is distinct from the affinely extended real number line, in which +∞ and −∞ are distinct.

      Now tell me, do we usually work with the projectively extended real numbers?