Sorgenfrey 直線・Sorgenfrey 平面

$\mathbb{R}$ に、半開区間 $[a,b)$（$a<b$）を開基とする位相（命題 5.2［位相空間の定義と基本概念］ の (B1)(B2) は、$[a,b)\cap[c,d)=[\max\{a,c\},\min\{b,d\})$ から従う）を入れたものを Sorgenfrey 直線 $S$ といいます。積位相を入れた $S\times S$ を Sorgenfrey 平面といいます。