?等价宣告

... 等价类分区 equivalence class partitioning 等价宣告 equivalence declaration 等效元件 equivalence element ...

?等价性说明

... 等价性, 等同性 equivalence property 等价性说明 equivalence declaration 递归等价性 recursive equivalence ...