Abstract Data Type (ADT)

Datatype without its Operation implemented, but with the concepts of its Operation defined

More formal definition

Mathematical Model that defines a set of Operation and the behavior of those operations on the data it represents, without specifying the actual implementation details