[定義] map a:X->Yが injective(単射)任意のmap x1,x2:X->Y について もしも ax1 = ax2 ならば x1=x2であるとき．[解説] 対偶をとるとわかりやすい．任意のmap x1,x2:X->Y について もしも x1 != x2 ならば ax1 != ax2であるとき． （map aは区別を保存する…