theorem Seven1: :: ROUGHS_4:20

for T being non empty with_equivalence naturally_generated TopRelStr
for A being Subset of T holds Kurat7Set A = {A,(Cl A),(Int A)}