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!