for V being RealUnitarySpace
for M being Subset of (TopUnitSpace V) st M = {} V holds
( M is open & M is closed ) ;