Abstract Data Types:- A useful tool for specifying the logical properties of a data type is the abstract data type or ADT. The term "abstract data type" refers to the basic mathematical method that describes the data type. In defining ADT as a mathematical concept, we are not concerned with space or time efficiency.