reserve X for set;

theorem
  for T be non empty TopSpace holds Bottom InclPoset the topology of T =
  {} by Th13,PRE_TOPC:1;
