theorem Th13: :: ISOMICHI:13

for T being TopSpace
for A being Subset of T st A is regular_open holds
A ` is regular_closed