【徹底解説】全単射の定義

本記事は数学の徹底解説シリーズに含まれます。

初学者の分かりやすさを優先するため，多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。

全単射

全単射は$S$の異なる二つの元の像が必ず異なり，かつ$T$の任意の元$y$に対して$f(x)=y$となる$S$の元$x$が存在することを意味しています。