well-defined

定義が確定する時に使われる表現

well-definedの定義

以下の2つが示せたとき、定義がwell-definedである、と言う

「定義に使われている方法」がそもそも上手くいく

Aが、Cを経由してBを定義する時、BがAにのみ依存して決まる

https://gyazo.com/da75e597ac24676ae9faa444ccb49b3c

Cに依らない

Aにのみ依存する

Cは複数の可能性がある

例

分数の演算

ぐぐったらこればかり出てくる

剰余類同士の演算をする際に、どのような代表元を選んでも同じ結果になる

関連

参考