:: deftheorem Def12 defines DECOMPOSITION-like BORSUK_1:def 12 :
for X being non empty TopSpace
for IT being u.s.c._decomposition of X holds
( IT is DECOMPOSITION-like iff for A being Subset of X st A in IT holds
A is compact );