发现的定义