# Sorgenfrey Plane

The Sorgenfrey Plane, named after mathematician Robert Sorgenfrey, is defined as the product topology of two Lindelöf spaces: $$\mathbb{R}_\ell \times \mathbb{R}_\ell = \mathbb{R}^2_\ell$$