algebraic abstract data type

views updated

algebraic abstract data type An abstract data type whose behavior is defined in algebraic terms using sets, mappings, functions, relations, morphisms, and categories.