定义可分为抽象定义与________。