• FooBarrington@lemmy.world
        link
        fedilink
        arrow-up
        0
        ·
        7 months 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?