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