定義良好- 維基百科,自由的百科全書 - Wikipedia
文章推薦指數: 80 %
在數學裡,術語定義良好(定義良好的 well-defined,名詞 well-definition)用於確認用一組基本公理以數學或邏輯的方式定義的某個概念或對象(一個函數,性質,關係,等等)是完全無歧義的,滿足它必需滿足的那些性質。
通常定義是無歧義地表述,明白地滿足它們所需的性質。
但有時候,使用任意選擇的方式來陳述定義是合理的,這時我們便要驗證定義與選擇無關。
另一種情形,所需的性質可能不都是顯然的,這時要驗證它們。
這些問題通常來自函數的定義。
譬如,在群論中,術語「定義良