Exercise · ZW-IMAGE-AND-PREIMAGE-004 · ★★☆ Intermediate

For \(Y\subseteq B\), what is always true of \(f(f^{-1}(Y))\)?

Choose one option.

Show answer
  • D. It is contained in \(Y\)

Explanation

Each \(a\) in the preimage satisfies \(f(a)\in Y\), so its image lies inside \(Y\). Equality holds only when \(Y\subseteq f(A)\), which is why the options claiming equality or full containment fail in general.

Study Set theory in ZWMath →

Review the concept: Image and preimage

Given \(f\colon A\to B\), the image of \(X\subseteq A\) is the set of values \(f(x)\) with \(x\in X\), and the preimage of \(Y\subseteq B\) is the set of \(a\in A\) whose value lies in \(Y\).

\[f(X)=\{f(x)\colon x\in X\},\qquad f^{-1}(Y)=\{a\in A\colon f(a)\in Y\}\]

More practice problems: image and preimage

← ZW-IMAGE-AND-PREIMAGE-003 ZW-IMAGE-AND-PREIMAGE-005 →