theorem ImportTop: :: ROUGHS_4:5

for X being set
for f being Function of (bool X),(bool X) st f is preinterior holds
GenTop f is topology-like