Subset of Set with Propositional Function

Theorem
Let $S$ be a set.

Let $P: S \to \set {\T, \F}$ be a propositional function on $S$.

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