Definitions for "abstract datatype"
a domain which defines a distinguished type and a collection of constants and functions related to the type