for A being Subset of real-anti-diagonal holds A is closed Subset of Sorgenfrey-plane