a logical description of how we view the data and the operations that are allowed without regard to how they will be implemented.
a logical description of how we view the data and the operations that are allowed without regard to how they will be implemented.
do not need to know the implementation details in order to use something; related to abstract data types (adts)