theorem :: SRINGS_4:17

for T being non empty TopSpace holds capOpCl T is semiring_of_sets of ([#] T) ;