（）的定义是一组固有特性满足要求的程序。