Exercise 8.19

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

${\forall\,x,s\;\;} x \in \{x|s\}$ ${\forall\,x,s\;\;} x \in s \implies {\forall\,y\;\;} x \in \{y|s\}$