theorem Th13: :: BORSUK_1:13

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