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