for X being non empty TopSpace
for X1, X2 being non empty V144() SubSpace of X st ( X1 is open or X2 is open ) holds
X1 union X2 is V144()