大学数学の集合

f : S → T が” 全単射 “であることと同値な条件は、g : T→Sが存在して、「fg が恒等写像、かつ gf が恒等写像」となることです。