for NT being NTopSpace
for A, B being Subset of NT st A misses B holds
Int A misses Int B