Definition:Restricted Universal Quantifier

Definition
The restricted universal quantifier is denoted $\forall x \in A$ and is defined as follows:


 * $\forall x \in A: P \left({x}\right) \iff \forall x: \left({x \in A \implies P \left({x}\right)}\right)$