Injective function

Definition

• $f:S\to T$ is “injective” (one-to-one) if for every $t\in T$, there exists at most one $s\in S$ such that $f(s)=t$
  • 1 x has 1 y, 1 y has 1 x