{} T is closed_condensed by Th18;
then {} T in { A where A is Subset of T : A is closed_condensed } ;
hence not Closed_Domains_of T is empty ; :: thesis: verum