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