抽象的定义是什么