theorem Th14: :: ISOMICHI:14

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