Exercise · ZW-SCHRODER-BERNSTEIN-THEOREM-004 · ★☆☆ Basic

What does it mean for \(f\colon A\to B\) to be injective?

Choose one option.

Show answer
  • D. That distinct elements of \(A\) have distinct images

Explanation

Injective means no two distinct elements share an image. Every element of \(B\) having a preimage is surjectivity.

Study Set theory in ZWMath →

Review the concept: Schröder–Bernstein theorem

The Schröder-Bernstein theorem states that if there are injections from \(A\) into \(B\) and from \(B\) into \(A\), then there is a bijection between \(A\) and \(B\).

\[|A| \le |B| \land |B| \le |A| \Rightarrow |A| = |B|\]

More practice problems: schröder–bernstein theorem

← ZW-SCHRODER-BERNSTEIN-THEOREM-003 ZW-SCHRODER-BERNSTEIN-THEOREM-005 →