请问“良定义”这三个字的定义最早出现在哪里？
       
       或者教材里根本就没定义过，因为是个概念是个基本的，如果是这样，“良定义”这三个字精确含义能否被描述一下？

在我现在的理解中，“良定义”只是用来说明一个函数是合法的函数，其中最主要的就是要证明所定义的函数是一个单射。

我赞同：
”
良定义就是适定(well defined)。
你要定义一个映射，就要证明你定义的这个关系是个映射，就要证它是单值的。
“

但
”对于你定义的一个集合，你要证明它是个等价类，就要证明这个等价类的表示方法与代表元无关，就是说这个等价类里的每个元素都可以做代表元。
”
似乎与“良定义”无关。