Explain what is wrong with the following proposed definition of the set membership

predicate in :

$$ x$,$ s x in $\{$x$|$s$\}$

$$ x$,$ s x in s $$ y x in $\{$y$|$s$\}.$