A conceptual model for data structures that defines data types by their behavior rather than their implementation.
Generality: 700
