User:Dfeuer/Definition:First-Order Formula

Definition
A logical formula $\varphi(A_1, A_2, \dots, A_n)$ is a first-order formula in the classes $A_1, A_2, \dots, A_n$ iff it quantifies only over sets.

That is, all bound variables in $\varphi$ are sets.