reserve GX,GY for non empty TopSpace,
  x,y for Point of GX,
  r,s for Real;

theorem
  for A0 being Subset of GX, A1 being Subset of GX st
  A0 is connected & A1 is connected & A0 meets A1
  holds A0 \/ A1 is connected by CONNSP_1:1,17;
