These paragraphs will rely on a simple mathematical notation for specifying the properties of an abstract data type (ADT for short).

• 这些段落将会使用一个简单的数学符号来详细说明抽象数据类型(缩写为ADT)的属性。