I want to show the above assertion, I guess I am not sure what's the definition of a set, I thought it's the basic building block.

Anyway, if the above titled assertion weren't true then for every $Y \subset X$ we will also have $Y \in X$, which should contradict $X$ being a set, but why is that?