What is the difference between the two notations below?
{x | x (is an element of) X & P(x)}
vs.
X = {x | P(x)}
These both seems to say to me x is in X as long as it abides by property P. The top one is defined as a comprehension and the bottom one is used as a lead into Russle's paradox.