能不能解释一下抽象定义域的概念