theorem
  for A being empty Subset of X holds A is T_0;
