• 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?