Un ensemble ordonné (linéairement) sans sauts ni lacunes et tel que tout ensemble de ses intervalles (contenant plus qu'un élément) n'empiétant pas les uns sur les autres est au plus dénumerable, est-il nécessairement un continue linéaire (ordinaire)? 一個沒有跳躍或間隔、且其所有的區間(包含多於一個元素)的集合彼此不重合且至多可數的(線性)有序集必然是(一般的)線性連續統嗎?
任何滿足條件1至4但「不」同構於實數線的全序集合又稱作蘇斯林線;而蘇斯林猜想所講的是沒有蘇斯林線,也就是說所有具有可數鏈條件且沒有上下界的稠密完備線性序列與實數線同構;而一個等價的陳述是任何高度為的樹具有高度為的分支(英语:Branch (descriptive set theory))或者大小為的反鏈。
蘇斯林猜想獨立於帶有選擇公理的策梅洛-弗蘭克爾集合論(ZFC)。葉赫(Jech)在1967年與滕博姆(Tennenbaum)在1968年各自獨立地用力迫法建構出一個帶有蘇斯林線的ZFC模型。羅納德·延森(英语:Ronald Jensen)之後證明了說在假定鑽石原則(這是可構造性公理(英语:Axiom of constructibility)的一個結果)的狀況下蘇斯林線存在;而在另一方面,梭羅維和滕博姆在1971年用力迫法構造出了一個不包含蘇斯林線的ZFC模型;此外,他們還證明說在假定馬丁公理成立且連續統假設不成立的狀況下,蘇斯林猜想成立。