Jech set theory Axiom Schema of Separation

Question

If $P$ is a property (with parameter $p$), then for any $X$ and $p$ there exists a set $Y = \{u \in X : P(u, p)\}$ that contains all those $u \in X$ that have property $P$.

–Jech, "Set theory"

I have studied Jech - introduction to set theory. (but I dropped off)

in the book for any set $X$ there exist $\{x\in X : P(x)\}$.

I can understand this. but multiple parameters are fuzzy for me.

please give some example on above axiom.

*I am not native English speaker. but I am still learning. and in Korea, there aren't many good axiomatic book. so I am reading English.

Answer 1

Example.

Let $X$ be some set.

Then $a=\{u\in X\mid \varnothing \notin u\}$ is the set of all elements of $X$ that do not contain the empty set (works as parameter here) as element.

According to the axiom scheme of separation $a$ is a set.

Answer 2

In the formal language of Set Theory there are no parameters. For a formula $P$ whose free variables (if any) are all among $v_0,...,v_n$ we have $$\forall X\; \forall v_1,...,v_n\;\exists Y \;\forall v_0 (v_0\in Y\iff (v_0\in X\land P)).$$A parameter is really just an abbreviation