定義がwell-definedであること、すなわち分数の代表系の取り方に依らずに結果が定まることは直ちに確認できる。