theorem :: ISOMICHI:11

for T being TopSpace holds
( [#] T is regular_open & [#] T is regular_closed )