相关概念

abstraction function

AF是rep值到其所代表的抽象值的一个映射。

AF: R → A

rep invariant：

RI是rep值到布尔值的一个映射。

RI: R → boolean

对于一个rep值r，RI®为真当且仅当r被AF映射。换句话说，RI告诉我们一个给定的rep值是否符合格式。或者，可将RI视为一个集合：其上定义了AF的所有rep值的子集。