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