在数学里，术语定义良好（定义良好的 ，名词 ）用于确认用一组基本公理以数学或逻辑的方式定义的某个概念或对象（一个函数，性质，关系，等等）是完全无歧义的，满足它必需满足的那些性质。通常定义是无歧义地表述，明白地满足它们所需的性质。但有时候，使用任意选择的方式来陈述定义是合理的，这时我们便要验证定义与选择无关。另一种情形，所需的性质可能不都是显然的，这时要验证它们。这些问题通常来自函数的定义。譬如，在群论中，术语“定义良好”经常用于处理陪集时，陪集空间上的函数经常选取一个代表来定义：这时非常重要的是验证无论