reserve T, X, Y for Subset of MC-wff;
reserve p, q, r, s for Element of MC-wff;

theorem Th11:
  T is IPC_theory & X c= T implies CnIPC(X) c= T
by Def15;
