基本定义是什么