for T being non empty with_equivalence naturally_generated TopRelStr
for A being Subset of T holds not A is 3rd_class