theorem
  P is closed & Q is closed implies P /\ Q is closed;
