For this to be possible, any ADT specification which includes partial functions must specify the domain of each of them. This is the role of the PRECONDITIONS paragraph.

• 要使之可能的话，任何包含部分函数的ADT规格必须指定每一个部分函数的定义域。这就是PRECONDITIONS段的作用。