ADT定义