Any finite power Sn of the
Sorgenfrey line S has this covering property: if φ(x) is a neighborhood of x for each
x ∈ Sn, then there is a closed discrete subset D of Sn such that {φ(x) : x ∈ D}
covers Sn. No finite power of the Sorgenfrey line is homeomorphic to finite power of
the irrational Sorgenfrey line. The Sorgenfrey plane is not the union of countably
many nice subspaces.