I.对于函数 , 定义域为 , 且其在上是可导的,若其导函数定义域也为 , 则称该函数是“同定义函数”.
II.对于一个“同定义函数” , 若有以下性质:
①;② , 其中为两个新的函数,是的导函数.
我们将具有其中一个性质的函数称之为“单向导函数”,将两个性质都具有的函数称之为“双向导函数”,将称之为“自导函数”.