theorem :: ROUGHS_4:21

for T being non empty with_equivalence naturally_generated TopRelStr
for A being Subset of T holds card (Kurat7Set A) <= 3