>>75
写像で定義されてるんなら、写像の定義からすでに一意だよ