Equality(平等性）in ADT and OOP

Equality operation on an ADT
·AF决定了ADT中各操作的实现
·可通过AF判定ADT中操作的等价

Three ways to regard equality
1.Using an AF
使用AF作为等价性的定义，我们可以说当且仅当AF(a)=AF(b)时a = b
2.Using a relation
– Reflexive自反的: E(t,t) ∀t∈T
– symmetric对称的: E(t,u) ⇒ E(u,t)
– transitive传递的: E(t,u) ∧ E(u,v) ⇒ E(t,v)
用E作为等价性的定义，我们可以说a = b当且仅当E(a,b)
3.Using observation
·从观察的角度 ，对两个对象的任何同一操作都会得到相同的结果