空でない集合A、B、Cに関係する関数
f:A→B
g:B→C
がある。
合成関数 g・fが単射のときfは単射である。
真か偽か。さあどっち？