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