有可数序稠密子集的链 同构于实数链的子链，反过来也是对的。 链条件 假设 是有下界的链， ，那么所有以 为端点的子链 （即 或 ）都有相同的长度。 这个条件称为 jordan