theorem Th14: :: BORSUK_1:14

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