At a theoretical level this requires us to specify the properties of the data type by mathematical axioms involving the possible operations.

• 在理论的层面这要求我们通过数学公理和适当的操作来指定这种数据类型的属性。