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