question.md

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} $$