theorem Th12: :: BORSUK_1:12

for X, Y being TopSpace
for A being Subset of [:X,Y:] holds union (Base-Appr A) c= A