Well defiend은 별 의미 없고 bijective 하다는것만 보이면 되는건가