Subset of Set with Propositional Function

Theorem
Let $S$ be a set.

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

Then:
 * $\set {x \in S: \map P x} \subseteq S$