（1）设f：A→B，定义A上的关系R，使得aRb当且仅当f（a）=f（b）.证明R是上的等价关系．
（2）称由上述等价关系R导出的A上的划分为A的R商集，记作A/R.如下定义从商集A/R到B的关系g：任取c∈A/R，b∈B，<c,b>∈g当且仅当存在a∈A，c=[a]且f（a）=b．试证明f为满射时g为一双射函数．