theorem
  A is dense implies A \/ B is dense by TOPS_1:44,XBOOLE_1:7;
