Rigid dense subset of the real line

ID: rigid-dense-subset-of-the-real-line

An order-dense subset with no nonidentity order automorphism. A transfinite diagonal construction marks an included point and an excluded image for every nonidentity real-line order automorphism, yielding such a subset of size .

New to topics? Read the docs here!