for T being non empty with_equivalence naturally_generated TopRelStr
for A being Subset of T holds Cl (Int A), Cl A are_c=-comparable by ROUGHS_1:25, ROUGHS_1:12;