Definition of ADT