Abstract data type

A type defined by its operations and their specifications rather than its implementation, providing encapsulation by hiding internal representation while exposing a public interface.