“Well-defined”( “定义良好”)

万门大学抽象代数7:

“定义良好” (Well-defined)

集合: Set (S)
等价关系: Equivalence Relation (~)
商集 : Quotient Set (S/~)
映射 : Mapping (f)

Prove : f is well-defined ?