reserve X1,X2,X3,X4 for set;

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