在拓扑学，Sorgenfrey平面是一个经常引用到的反例。它是两条Sorgenfrey线的积（Sorgenfrey线是赋予了下限拓扑的实数线）。Sorgenfrey线和Sorgenfrey平面是以美国数学家 Robert Sorgenfrey命名。Sorgenfrey平面（现在开始用 formula_1表示）的其中一组基是所有「包含左边、左下顶点、下边而不包含其他边、顶点」的长方形。formula_1上的开集则是这种长方形的并集。formula_1能作为很多拓扑学上听起来很可能正确的陈述的反例子。其