I find this post almost unreadable. I know Bert's textbook very well having taught from it several times. You description is hard to follow. But this must be what it means: all of which must be in a larger space.
By definition means that .
So the negation is means that .
Now means , union.
So it is very clear means that