for X being non empty TopSpace holds TrivDecomp X is u.s.c._decomposition of X