a \in x \Rightarrow f(a) \in f(x)\ \forall a \\
a \in x \subseteq y \Rightarrow a \in y \Rightarrow f(a) \in f(y)\ \forall a \\
\Rightarrow f(x) \subseteq f(y)