Question about set definition

Say we define set

y= {x: p(x)}

Using "A" for universal quantifier would the equivalent statement be

Ax [x belongs to y <===> p(x)] ?

If not, how should it be changed and why? Many thanks.

.