抽象定义