求定义域,抽象函数.