Abstract data type

Mathematical model for data types