reserve X for TopStruct,
  A for Subset of X;

theorem Th2:
  (A = [#]X iff A` = {}X) & (A = the carrier of X iff A` = {})
by XBOOLE_1:37;
