集合Xと写像f:X\to Xに対して、f\circ f=\mathrm{id}であるとき、fを追合(ついごう)という。このfが全単射であることを示せ。


最終更新:2010年11月28日 10:06