[′sü‚slanz kən‚jek·chər] (mathematics) The conjecture that a topological space is homeomorphic to the real line if (1) it is totally ordered with no first or last element, (2) the open intervals are a base for its topology, (3) it is connected, and (4) any collection of disjoint open intervals.