Subset of Set with Propositional Function

Theorem
Let $S$ be a set.

Let $P: S \to \left\{{\text{true}, \text{false}}\right\}$ be a propositional function on $S$.

Then:
 * $\left\{{x \in S: P \left({x}\right)} \right\} \subseteq S$