theorem :: GOBRD11:3

for GZ being non empty TopSpace
for A, B being Subset of GZ st A is a_component & B is a_component holds
A \/ B is a_union_of_components of GZ